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 6954 dbeafc269f4f
parent 6888 d0c68ebdabc5
child 7680 27bbbe36d49a 
--- a/src/Pure/IsaMakefile	Fri Jul 09 18:48:33 1999 +0200
+++ b/src/Pure/IsaMakefile	Fri Jul 09 18:48:54 1999 +0200
@@ -31,7 +31,7 @@
   Interface/isamode.ML Interface/proof_general.ML Isar/ROOT.ML \
   Isar/args.ML Isar/attrib.ML Isar/auto_bind.ML Isar/calculation.ML \
   Isar/comment.ML Isar/isar.ML Isar/isar_cmd.ML Isar/isar_syn.ML \
-  Isar/isar_thy.ML Isar/method.ML Isar/outer_lex.ML \
+  Isar/isar_thy.ML Isar/local_defs.ML Isar/method.ML Isar/outer_lex.ML \
   Isar/outer_parse.ML Isar/outer_syntax.ML Isar/proof.ML \
   Isar/proof_context.ML Isar/proof_data.ML Isar/proof_history.ML \
   Isar/session.ML Isar/skip_proof.ML Isar/toplevel.ML \
isabelle