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.
Now calls "rail" to update datatype syntax charts
authorpaulson
Thu, 25 Apr 1996 11:48:13 +0200
changeset 1683 a5bcaf5894f3
parent 1682 dd1ced7f1ff1
child 1684 3eaf3ab53082
Now calls "rail" to update datatype syntax charts
doc-src/Logics/Makefile file | annotate | diff | comparison | revisions 
--- a/doc-src/Logics/Makefile	Thu Apr 25 11:44:34 1996 +0200
+++ b/doc-src/Logics/Makefile	Thu Apr 25 11:48:13 1996 +0200
@@ -12,6 +12,7 @@
 logics.dvi.gz:   $(FILES) 
 	-rm logics.dvi.gz
 	latex209 logics
+	rail logics
 	bibtex logics
 	latex209 logics
 	latex209 logics
isabelle