Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
no rail;
authorwenzelm
Wed, 05 May 1999 18:47:37 +0200
changeset 6602c5e32a3d7e12
parent 6601 51eed1aefccd
child 6603 6b4613ea90de
no rail;
doc-src/Tutorial/Makefile file | annotate | diff | comparison | revisions 
     1.1 --- a/doc-src/Tutorial/Makefile	Wed May 05 18:41:31 1999 +0200
     1.2 +++ b/doc-src/Tutorial/Makefile	Wed May 05 18:47:37 1999 +0200
     1.3 @@ -21,7 +21,6 @@
     1.4  $(NAME).dvi: $(FILES) isabelle_hol.eps
     1.5  	touch $(NAME).ind
     1.6  	$(LATEX) $(NAME)
     1.7 -	$(RAIL) $(NAME)
     1.8  	$(BIBTEX) $(NAME)
     1.9  	$(LATEX) $(NAME)
    1.10  	$(LATEX) $(NAME)
wneuper/isa