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.
keep structure ThyLoad for the sake of Proof General;
authorwenzelm
Tue, 01 Jun 2010 11:37:24 +0200
changeset 37220 d416e49b3926
parent 37219 7c5311e54ea4
child 37226 7c59ab0a419b
keep structure ThyLoad for the sake of Proof General;
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ROOT.ML	Tue Jun 01 09:12:12 2010 +0200
+++ b/src/Pure/ROOT.ML	Tue Jun 01 11:37:24 2010 +0200
@@ -305,9 +305,11 @@
 structure PrintMode = Print_Mode;
 structure SpecParse = Parse_Spec;
 structure ThyInfo = Thy_Info;
-structure ThyLoad = Thy_Load;
 structure ThyOutput = Thy_Output;
 structure TypeInfer = Type_Infer;
 
 end;
 
+structure ThyLoad = Thy_Load;  (*Proof General legacy*)
+
+
isabelle