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/IsaMakefile
changeset 6221 ef938c8ef653
parent 6184 8d7a328e2d0c
child 6315 ed71bedf6976 
--- a/src/Pure/IsaMakefile	Wed Feb 03 20:56:29 1999 +0100
+++ b/src/Pure/IsaMakefile	Thu Feb 04 18:12:09 1999 +0100
@@ -27,7 +27,7 @@
   General/history.ML General/name_space.ML General/object.ML \
   General/path.ML General/position.ML General/pretty.ML \
   General/scan.ML General/seq.ML General/source.ML General/symbol.ML \
-  General/table.ML General/use.ML Isar/ROOT.ML Isar/args.ML \
+  General/table.ML Isar/ROOT.ML Isar/args.ML \
   Isar/attrib.ML Isar/isar.ML Isar/isar_cmd.ML Isar/isar_syn.ML \
   Isar/isar_thy.ML Isar/method.ML Isar/outer_lex.ML \
   Isar/outer_parse.ML Isar/outer_syntax.ML Isar/proof.ML \
isabelle