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.
use /usr/share and /usr/bin;
authorwenzelm
Fri, 23 Apr 1999 16:31:12 +0200
changeset 6499 2fd912486990
parent 6498 1ebbe18fe236
child 6500 68ba555ac59a
use /usr/share and /usr/bin;
Admin/makerpm file | annotate | diff | comparison | revisions 
--- a/Admin/makerpm	Fri Apr 23 12:23:21 1999 +0200
+++ b/Admin/makerpm	Fri Apr 23 16:31:12 1999 +0200
@@ -9,8 +9,8 @@
 
 LOGICS="HOL ZF"
 DISTBASE=~/tmp/isadist
-ROOT=/usr/local
-BIN=/usr/local/bin
+ROOT=/usr/share
+BIN=/usr/bin
 
 
 ## diagnostics
isabelle