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.
tuned;
authorwenzelm
Mon, 10 May 1999 17:44:17 +0200
changeset 6629 6edc66a9d80b
parent 6628 12ed4f748f7c
child 6630 5f810292c030
tuned;
doc-src/AxClass/Makefile file | annotate | diff | comparison | revisions
doc-src/HOL/Makefile file | annotate | diff | comparison | revisions
doc-src/Inductive/Makefile file | annotate | diff | comparison | revisions
doc-src/Intro/Makefile file | annotate | diff | comparison | revisions
doc-src/Logics/Makefile file | annotate | diff | comparison | revisions
doc-src/Ref/Makefile file | annotate | diff | comparison | revisions
doc-src/System/Makefile file | annotate | diff | comparison | revisions
doc-src/ZF/Makefile file | annotate | diff | comparison | revisions 
--- a/doc-src/AxClass/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/AxClass/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
--- a/doc-src/HOL/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/HOL/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
--- a/doc-src/Inductive/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/Inductive/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,6 +5,9 @@
 #									#
 #########################################################################
 
+dvi: dist
+
+pdf:
 
 FILES =  ind-defs.tex ../proof.sty ../iman.sty ../extra.sty
 
--- a/doc-src/Intro/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/Intro/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
--- a/doc-src/Logics/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/Logics/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
--- a/doc-src/Ref/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/Ref/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
--- a/doc-src/System/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/System/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
--- a/doc-src/ZF/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/ZF/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
isabelle