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.
removed THIS_IS_ISABELLE_ADMIN;
authorwenzelm
Tue, 17 May 2005 10:19:42 +0200
changeset 15971 c0c4088edccf
parent 15970 b8855873d234
child 15972 8ac3803c8f73
removed THIS_IS_ISABELLE_ADMIN;
Admin/makebin file | annotate | diff | comparison | revisions 
--- a/Admin/makebin	Tue May 17 10:08:24 2005 +0200
+++ b/Admin/makebin	Tue May 17 10:19:42 2005 +0200
@@ -14,7 +14,6 @@
 type -path gtar >/dev/null && TAR=gtar
 
 export THIS_IS_ISABELLE_BUILD=true
-export THIS_IS_ISABELLE_ADMIN=true
 
 
 ## diagnostics
isabelle