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.
doc-src/ZF/Makefile
changeset 42622 61a99eb5eb9d
parent 42619 9691759a9b3c
child 42637 381fdcab0f36 
--- a/doc-src/ZF/Makefile	Mon May 02 17:28:45 2011 +0200
+++ b/doc-src/ZF/Makefile	Mon May 02 17:43:06 2011 +0200
@@ -13,7 +13,7 @@
 
 NAME = logics-ZF
 FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty	\
-  ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty	\
+  ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty	\
   ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty ../manual.bib
 
 dvi: $(NAME).dvi
isabelle