1env_dict_def(
2 [ tex_for_prooftree = =(latex),
4 exercise_js_name = full_name("~/public_html/cgi-bin/http_request.js"),
5 snapshot_file = full_name("~/Desktop/snapshot"),
6 public_html = full_name("~/public_html/"),
7 scratchfile = full_name("~/Desktop/.scratchfile"),
8 notify_cgi_access_by_mail = =(false),
9 paths_to_exec = maplist(full_name,
10 ["~/local/cgi-bin/",
11 "~/local/bin/",
12 "/usr/local/bin/",
13 "/Library/TeX/texbin/",
14 "/bin/",
15 "/usr/bin/"])
16 ]).
17
18file_search_path_def(
19 [
20 log = full_name("~/local/log/"),
21 tmp = full_name("~/tmp/"),
22 desktop = full_name("~/Desktop/"),
23 test = full_name("~/public_html/test/"),
24 html = full_name("~/public_html/"),
25 bib = full_name("~/Library/texmf/bibtex/bib/"),
26 home = full_name("~/"),
27 (~) = full_name("~/")
28 ]).
29
30pac:view_default(
31 [ out(pdf),
32 counter_name(graph_counter),
33 stem("dot_graph"),
34 home(H),
35 user_name(U),
36 http_dir("/cgi-bin/deldel"),
37 subdirectory("/public_html/cgi-bin/deldel")
38 ]) :- env_dict(home_name, H),
39 env_dict(user_name, U)