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.
outer_lex.ML loaded in Thy;
authorwenzelm
Tue, 05 Oct 1999 15:34:54 +0200
changeset 7728 2e737ce3cdb5
parent 7727 b52c7d773121
child 7729 81e001f143a4
outer_lex.ML loaded in Thy;
src/Pure/Isar/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/ROOT.ML	Tue Oct 05 15:34:27 1999 +0200
+++ b/src/Pure/Isar/ROOT.ML	Tue Oct 05 15:34:54 1999 +0200
@@ -23,7 +23,7 @@
 
 (*outer syntax*)
 use "comment.ML";
-use "outer_lex.ML";
+(*use "outer_lex.ML";*)	  (*see ../Thy/ROOT.ML*)
 use "outer_parse.ML";
 
 (*toplevel environment*)
isabelle