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.
THIS_IS_ISABELLE_MAKEBIN;
authorwenzelm
Wed, 24 Oct 2007 21:42:17 +0200
changeset 25183 261d6791952c
parent 25182 64e3f45dc6f4
child 25184 712ab7bd9512
THIS_IS_ISABELLE_MAKEBIN;
Admin/makebin file | annotate | diff | comparison | revisions 
--- a/Admin/makebin	Wed Oct 24 21:33:37 2007 +0200
+++ b/Admin/makebin	Wed Oct 24 21:42:17 2007 +0200
@@ -13,6 +13,7 @@
 type -path gtar >/dev/null && TAR=gtar
 
 export THIS_IS_ISABELLE_BUILD=true
+export THIS_IS_ISABELLE_MAKEBIN=true
 
 
 ## diagnostics
isabelle