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.
session based on HOL;
authorwenzelm
Tue, 29 Apr 2008 13:39:32 +0200
changeset 26758 72af85f6d70b
parent 26757 e775accff967
child 26759 4f066dfc58d1
session based on HOL;
doc-src/IsarRef/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarRef/IsaMakefile	Mon Apr 28 20:21:11 2008 +0200
+++ b/doc-src/IsarRef/IsaMakefile	Tue Apr 29 13:39:32 2008 +0200
@@ -19,14 +19,14 @@
 
 ## Thy
 
-Thy: $(LOG)/Pure-Thy.gz
+Thy: $(LOG)/HOL-Thy.gz
 
-$(LOG)/Pure-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
+$(LOG)/HOL-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
   Thy/syntax.thy
-	@$(USEDIR) Pure Thy
+	@$(USEDIR) HOL Thy
 
 
 ## clean
 
 clean:
-	@rm -f $(LOG)/Pure-Thy.gz
+	@rm -f $(LOG)/HOL-Thy.gz
isabelle