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 8193 33e4ec7a2daa
parent 8179 6a0b1037bab3
child 8256 6ba8fa2b0638 
--- a/src/HOL/IsaMakefile	Fri Feb 04 21:44:38 2000 +0100
+++ b/src/HOL/IsaMakefile	Fri Feb 04 21:45:57 2000 +0100
@@ -325,9 +325,10 @@
   MicroJava/BV/BVSpec.thy MicroJava/BV/BVSpec.ML \
   MicroJava/BV/BVSpecTypeSafe.thy MicroJava/BV/BVSpecTypeSafe.ML \
   MicroJava/BV/Convert.thy MicroJava/BV/Convert.ML \
-  MicroJava/BV/Correct.thy MicroJava/BV/Correct.ML
+  MicroJava/BV/Correct.thy MicroJava/BV/Correct.ML MicroJava/document/root.tex
 	@$(ISATOOL) usedir $(OUT)/HOL MicroJava
 
+
 ## HOL-BCV
 
 HOL-BCV: HOL $(LOG)/HOL-BCV.gz
isabelle