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 18613 3cdfa57408be
parent 18387 90b2b2fd3fdf
child 18740 7eb6ad1f91c1 
--- a/src/Pure/IsaMakefile	Sat Jan 07 23:27:51 2006 +0100
+++ b/src/Pure/IsaMakefile	Sat Jan 07 23:27:52 2006 +0100
@@ -42,7 +42,7 @@
   Isar/outer_keyword.ML Isar/outer_lex.ML Isar/outer_parse.ML                   \
   Isar/outer_syntax.ML Isar/proof.ML Isar/proof_context.ML                      \
   Isar/proof_display.ML Isar/proof_history.ML Isar/rule_cases.ML                \
-  Isar/session.ML Isar/skip_proof.ML Isar/term_style.ML                         \
+  Isar/session.ML Isar/skip_proof.ML Isar/specification.ML Isar/term_style.ML	\
   Isar/thy_header.ML Isar/toplevel.ML ML-Systems/cpu-timer-basis.ML             \
   ML-Systems/cpu-timer-gc.ML ML-Systems/polyml-posix.ML                         \
   ML-Systems/polyml-time-limit.ML ML-Systems/polyml.ML                          \
isabelle