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.
export THIS_IS_ISABELLE_ADMIN=true;
authorwenzelm
Thu, 28 Feb 2002 21:30:57 +0100
changeset 12985 9db054a40247
parent 12984 6071200efbf6
child 12986 58cd2ca93edc
export THIS_IS_ISABELLE_ADMIN=true;
Admin/makebin file | annotate | diff | comparison | revisions 
--- a/Admin/makebin	Thu Feb 28 21:30:26 2002 +0100
+++ b/Admin/makebin	Thu Feb 28 21:30:57 2002 +0100
@@ -14,6 +14,7 @@
 type -path gtar >/dev/null && TAR=gtar
 
 export THIS_IS_ISABELLE_BUILD=true
+export THIS_IS_ISABELLE_ADMIN=true
 
 
 ## diagnostics
isabelle