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/HOL/IsaMakefile
changeset 13703 a36a0d417133
parent 13697 e4db4f06cec1
child 13706 9d84cfc77ace 
--- a/src/HOL/IsaMakefile	Fri Nov 08 10:34:40 2002 +0100
+++ b/src/HOL/IsaMakefile	Sat Nov 09 00:12:25 2002 +0100
@@ -627,7 +627,7 @@
   Isar_examples/Puzzle.thy Isar_examples/Summation.thy \
   Isar_examples/ROOT.ML Isar_examples/document/proof.sty \
   Isar_examples/document/root.bib Isar_examples/document/root.tex \
-  Isar_examples/document/style.tex Hoare/Hoare.ML
+  Isar_examples/document/style.tex Hoare/hoare.ML
 	@$(ISATOOL) usedir $(OUT)/HOL Isar_examples
isabelle