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.
Changed comment to illustrate use of pathname
authorpaulson
Thu, 24 Oct 1996 10:43:38 +0200
changeset 2127 33f3d40145e8
parent 2126 d927beecedf8
child 2128 4e8644805af2
Changed comment to illustrate use of pathname
src/Tools/make-all file | annotate | diff | comparison | revisions 
--- a/src/Tools/make-all	Thu Oct 24 10:42:42 1996 +0200
+++ b/src/Tools/make-all	Thu Oct 24 10:43:38 1996 +0200
@@ -19,7 +19,7 @@
 # A typical shell script for /bin/sh is...
 # ML_DBASE=/usr/groups/theory/poly2.04/`arch`/ML_dbase
 # ISABELLEBIN=/homes/`whoami`/bin
-# ISABELLECOMP="poly -noDisplay"
+# ISABELLECOMP="/usr/bin/poly -noDisplay"
 # export ML_DBASE ISABELLEBIN ISABELLECOMP 
 # nohup make-all $*
isabelle