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.
added MicroJava/document;
authorwenzelm
Fri, 04 Feb 2000 21:45:57 +0100
changeset 8193 33e4ec7a2daa
parent 8192 45a7027136e3
child 8194 0c5d9d23b715
added MicroJava/document;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions
src/HOL/MicroJava/document/root.tex file | annotate | diff | comparison | revisions 
--- 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
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/MicroJava/document/root.tex	Fri Feb 04 21:45:57 2000 +0100
@@ -0,0 +1,8 @@
+
+\documentclass[11pt,a4paper]{article}
+\usepackage{isabelle,isabellesym,pdfsetup}
+
+\begin{document}
+\input{session}
+\end{document}
+
isabelle