Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new MicroJava document
authorkleing
Thu, 21 Feb 2002 14:08:09 +0100
changeset 12915 2832fba717ec
parent 12914 71015f46b3c1
child 12916 4ac388e02b74
new MicroJava document
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Thu Feb 21 13:37:09 2002 +0100
+++ b/src/HOL/IsaMakefile	Thu Feb 21 14:08:09 2002 +0100
@@ -472,7 +472,8 @@
   MicroJava/BV/Effect.thy MicroJava/BV/EffectMono.thy \
   MicroJava/BV/Typing_Framework.thy MicroJava/BV/Typing_Framework_err.thy \
   MicroJava/BV/Kildall_Lift.thy \
-  MicroJava/document/root.bib MicroJava/document/root.tex
+  MicroJava/document/root.bib MicroJava/document/root.tex \
+  MicroJava/document/introduction.tex
 	@$(ISATOOL) usedir -g true $(OUT)/HOL MicroJava
isabelle