Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Present.begin_theory now needs an additional argument of type
authorberghofe
Mon, 17 May 1999 16:58:34 +0200
changeset 6650 808a3d9e2404
parent 6649 2156012be986
child 6651 7aa5cc0ae044
Present.begin_theory now needs an additional argument of type theory to store information about session identifiers.
src/Pure/Isar/isar_thy.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/isar_thy.ML	Mon May 17 16:55:27 1999 +0200
+++ b/src/Pure/Isar/isar_thy.ML	Mon May 17 16:58:34 1999 +0200
@@ -331,7 +331,7 @@
   let
     val paths = map (apfst Path.unpack) files;
     val thy = ThyInfo.begin_theory name parents paths;
-  in Present.begin_theory name parents paths; thy end;
+  in Present.begin_theory name parents paths thy end;
 
 
 (* FIXME
isabelle