Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 69269 1bee990d443c
parent 69268 c1a27fce2076
child 69273 e86d8cb40610
equal deleted inserted replaced
69268:c1a27fce2076 69269:1bee990d443c 
   144   ISABELLE_OCAML_VERSION
 
   144   ISABELLE_OCAML_VERSION
 
   145 
   145 
   146 After setup, the following Isabelle settings are automatically
 
   146 After setup, the following Isabelle settings are automatically
 
   147 redirected (overriding existing user settings):
 
   147 redirected (overriding existing user settings):
 
   148 
   148 
   149  ISABELLE_GHC
 
   149   ISABELLE_GHC
 
   150 
   150 
   151  ISABELLE_OCAML
 
   151   ISABELLE_OCAML
 
   152  ISABELLE_OCAMLC
 
   152   ISABELLE_OCAMLC
 
   153 
   153 
   154 The old meaning of these settings as locally installed executables may
 
   154 The old meaning of these settings as locally installed executables may
 
   155 be recovered by purging the directories ISABELLE_STACK_ROOT /
 
   155 be recovered by purging the directories ISABELLE_STACK_ROOT /
 
   156 ISABELLE_OPAM_ROOT.
 
   156 ISABELLE_OPAM_ROOT.
 
   157 
   157
isabelle