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.
usage: tell ISABELLE_USEDIR_OPTIONS;
authorwenzelm
Fri, 03 Sep 1999 18:16:54 +0200
changeset 7461 94ae093f6706
parent 7460 b1b2fbc375e2
child 7462 f738df1d82e1
usage: tell ISABELLE_USEDIR_OPTIONS;
lib/Tools/usedir file | annotate | diff | comparison | revisions 
--- a/lib/Tools/usedir	Fri Sep 03 18:16:02 1999 +0200
+++ b/lib/Tools/usedir	Fri Sep 03 18:16:54 1999 +0200
@@ -26,6 +26,8 @@
   echo "  Build object-logic or run examples. Also creates browsing"
   echo "  information (HTML etc.) according to settings."
   echo
+  echo "  ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
+  echo
   exit 1
 }
isabelle