diff -r e343a6e4e1cd -r a603aa6c9d01 IsaMakefile --- 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: