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 date format for proper lexicographical ordering
authorisatest
Tue, 30 Jul 2002 10:28:38 +0200
changeset 13431 b0ba3b3573e1
parent 13430 ab814c7685a9
child 13432 470daa444967
changed date format for proper lexicographical ordering
Admin/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makedist	Mon Jul 29 21:39:22 2002 +0200
+++ b/Admin/isatest-makedist	Tue Jul 30 10:28:38 2002 +0200
@@ -52,7 +52,7 @@
 
 export DISTPREFIX
 
-DATE=$(date "+%d-%b-%Y")
+DATE=$(date "+%Y-%m-%d")
 DISTLOG=$LOGPREFIX/isatest-makedist-$DATE.log
 
 echo ------------------- preparing test release --- `date` --- $HOSTNAME > $DISTLOG 2>&1
isabelle