Mercurial Mercurial > hg > isabelle-cookbook / 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 306 fe732e890d87
parent 295 24c68350d059
child 364 c6a2e295227e 
--- a/IsaMakefile	Wed Aug 05 09:24:18 2009 +0200
+++ b/IsaMakefile	Wed Aug 05 16:00:01 2009 +0200
@@ -23,6 +23,7 @@
           ProgTutorial/Package/*.ML
 	@rm -rf ProgTutorial/generated/* 
 	$(USEDIR) HOL ProgTutorial
+	hg parent --template '{date|shortdate}' > ProgTutorial/generated/tip
 	$(ISATOOL) version > ProgTutorial/generated/version 
 	$(ML_HOME)/poly -v > ProgTutorial/generated/pversion
 	$(ISATOOL) document -o pdf  ProgTutorial/generated
isabelle-cookbook