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.
tuned;
authorwenzelm
Thu, 06 May 1999 15:34:36 +0200
changeset 6608 927def00b1c6
parent 6607 df9b0abf77e0
child 6609 28726a610a17
tuned;
Admin/makerpm file | annotate | diff | comparison | revisions 
--- a/Admin/makerpm	Thu May 06 11:48:26 1999 +0200
+++ b/Admin/makerpm	Thu May 06 15:34:36 1999 +0200
@@ -172,7 +172,6 @@
 $BIN/Isabelle
 $BIN/isabelle
 $BIN/isatool
-%dir $ISABELLE_HOME
 EOF
 
 for F in $(ls -1 | grep -v heaps | grep -v browser_info)
isabelle