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.
refrain from sorting output;
authorwenzelm
Thu, 01 Sep 2005 22:49:18 +0200
changeset 17226 0687c76021c0
parent 17225 e2998d50f51a
child 17227 398a7353ca69
refrain from sorting output;
lib/Tools/getenv file | annotate | diff | comparison | revisions 
--- a/lib/Tools/getenv	Thu Sep 01 22:15:14 2005 +0200
+++ b/lib/Tools/getenv	Thu Sep 01 22:49:18 2005 +0200
@@ -58,7 +58,7 @@
 ## main
 
 if [ -n "$ALL" ]; then
-  env | sort
+  env
 else
   for VAR in "$@"
   do
isabelle