1env_dict_def(
    2     [	tex_for_prooftree	=  =(latex),
    3%	dired_mark_swipl_dir	= full_name("~/local/lib/pacpl7/"),
    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)