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.
fixed;
authorwenzelm
Tue, 04 May 1999 18:04:45 +0200
changeset 6581 27d6e5d6a4a6
parent 6580 ff2c3ffd38ee
child 6582 75f31d45fb8b
fixed;
doc-src/HOL/Makefile file | annotate | diff | comparison | revisions 
--- a/doc-src/HOL/Makefile	Tue May 04 18:03:56 1999 +0200
+++ b/doc-src/HOL/Makefile	Tue May 04 18:04:45 1999 +0200
@@ -6,7 +6,7 @@
 #########################################################################
 
 
-FILES =  logics-HOL.tex ../Logics/syntax.tex FOL.tex HOL.tex\
+FILES =  logics-HOL.tex ../Logics/syntax.tex HOL.tex \
 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
 
 logics-HOL.dvi.gz:   $(FILES)
isabelle