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.
removed HOL.tex;
authorwenzelm
Tue, 04 May 1999 18:55:43 +0200
changeset 6585 d5eae11efa42
parent 6584 5569f2672662
child 6586 c07187514ce5
removed HOL.tex;
doc-src/Logics/Makefile file | annotate | diff | comparison | revisions 
--- a/doc-src/Logics/Makefile	Tue May 04 18:27:36 1999 +0200
+++ b/doc-src/Logics/Makefile	Tue May 04 18:55:43 1999 +0200
@@ -6,7 +6,7 @@
 #########################################################################
 
 
-FILES =  logics.tex preface.tex syntax.tex HOL.tex LK.tex CTT.tex\
+FILES =  logics.tex preface.tex syntax.tex LK.tex CTT.tex\
 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
 
 logics.dvi.gz:   $(FILES)
isabelle