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 9815 1375dd92f07a
parent 9811 39ffdb8cab03
child 9823 5873fc4ea3f9 
--- a/src/HOL/IsaMakefile	Sat Sep 02 22:40:56 2000 +0200
+++ b/src/HOL/IsaMakefile	Sat Sep 02 22:42:04 2000 +0200
@@ -306,7 +306,7 @@
 $(LOG)/HOL-Lambda.gz: $(OUT)/HOL Induct/Acc.thy Lambda/Commutation.thy \
   Lambda/Eta.thy Lambda/InductTermi.thy Lambda/Lambda.thy \
   Lambda/ListApplication.thy Lambda/ListBeta.thy Lambda/ListOrder.thy \
-  Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML
+  Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML Lambda/document/root.tex
 	@$(ISATOOL) usedir $(OUT)/HOL Lambda
isabelle