Mercurial Mercurial > hg > nominal2 / 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.
IsaMakefile
changeset 764 a603aa6c9d01
parent 757 c129354f2ff6 
--- a/IsaMakefile	Sat Dec 19 22:42:31 2009 +0100
+++ b/IsaMakefile	Sun Dec 20 00:14:46 2009 +0100
@@ -30,7 +30,16 @@
 	$(ISATOOL) document -o pdf  Paper/generated
 	@cp Paper/document.pdf paper.pdf
 
-
+keywords:
+	mkdir -p tmp
+	cp $(ISABELLE_HOME)/heaps/polyml-5.3.0_x86-linux/log/Pure.gz tmp 
+	cp $(ISABELLE_HOME)/heaps/polyml-5.3.0_x86-linux/log/HOL.gz tmp
+	cp $(ISABELLE_HOME)/heaps/polyml-5.3.0_x86-linux/log/Pure-ProofGeneral.gz tmp
+	cp $(ISABELLE_HOME)/heaps/polyml-5.3.0_x86-linux/log/HOL-Nominal.gz tmp
+	cp $(LOG)/HOL-Nominal-Quot.gz tmp
+	isabelle keywords -k quot tmp/*
+	
+	
 ## clean
 
 clean:
nominal2