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.
added Thy/context.ML;
authorwenzelm
Tue, 02 Dec 1997 12:37:22 +0100
changeset 4337 062cdcb04b08
parent 4336 7fb8a0c4578a
child 4338 68619c232262
added Thy/context.ML;
src/Pure/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/Pure/IsaMakefile	Mon Dec 01 18:27:43 1997 +0100
+++ b/src/Pure/IsaMakefile	Tue Dec 02 12:37:22 1997 +0100
@@ -14,7 +14,7 @@
 	Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML Syntax/pretty.ML \
 	Syntax/printer.ML Syntax/symbol_font.ML Syntax/syn_ext.ML \
 	Syntax/syn_trans.ML Syntax/syntax.ML Syntax/token_trans.ML \
-	Syntax/type_ext.ML Thy/ROOT.ML Thy/browser_info.ML Thy/file.ML \
+	Syntax/type_ext.ML Thy/ROOT.ML Thy/browser_info.ML Thy/context.ML Thy/file.ML \
 	Thy/path.ML Thy/thm_database.ML Thy/thy_info.ML Thy/thy_parse.ML \
 	Thy/thy_read.ML Thy/thy_scan.ML Thy/thy_syn.ML Thy/use.ML \
 	axclass.ML basis.ML deriv.ML display.ML drule.ML envir.ML \
isabelle