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/IsarRef/IsaMakefile
changeset 26758 72af85f6d70b
parent 26754 c0424e4de33d
child 26767 cc127cc0951b 
--- 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