Mercurial Mercurial > repos > isabelle / diff
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.
src/Pure/Proof/proof_syntax.ML
changeset 36610 bafd82950e24
parent 36449 78721f3adb13
child 37145 01aa36932739
child 37227 bdd8dd217b1f 
--- a/src/Pure/Proof/proof_syntax.ML	Mon May 03 07:59:51 2010 +0200
+++ b/src/Pure/Proof/proof_syntax.ML	Mon May 03 14:25:56 2010 +0200
@@ -206,7 +206,7 @@
       |> add_proof_syntax
       |> add_proof_atom_consts
         (map (Long_Name.append "axm") axm_names @ map (Long_Name.append "thm") thm_names)
-      |> ProofContext.init
+      |> ProofContext.init_global
       |> ProofContext.allow_dummies
       |> ProofContext.set_mode ProofContext.mode_schematic;
   in
isabelle