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 27559 14b238b1000c
parent 27388 226835ea8d2b
child 27586 b3b6c581c3f9 
--- a/src/Pure/IsaMakefile	Mon Jul 14 11:04:47 2008 +0200
+++ b/src/Pure/IsaMakefile	Mon Jul 14 11:19:36 2008 +0200
@@ -41,7 +41,7 @@
   Isar/obtain.ML Isar/outer_keyword.ML Isar/outer_lex.ML		\
   Isar/outer_parse.ML Isar/outer_syntax.ML Isar/overloading.ML		\
   Isar/proof.ML Isar/proof_context.ML Isar/proof_display.ML		\
-  Isar/proof_history.ML Isar/rule_cases.ML Isar/rule_insts.ML		\
+  Isar/proof_node.ML Isar/rule_cases.ML Isar/rule_insts.ML		\
   Isar/session.ML Isar/skip_proof.ML Isar/spec_parse.ML			\
   Isar/specification.ML Isar/subclass.ML Isar/theory_target.ML		\
   Isar/toplevel.ML ML-Systems/alice.ML ML-Systems/exn.ML		\
isabelle