Sat, 22 Aug 2009 17:08:06 +0200 | wenzelm | function splitarray: splightly more abstract version that accomodates older bashes; | file | diff | annotate |
Tue, 04 Aug 2009 16:11:11 +0200 | wenzelm | turned object-logics into components; | file | diff | annotate |
Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | file | diff | annotate |
Sat, 04 Oct 2008 17:40:56 +0200 | wenzelm | simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; | file | diff | annotate |
Sat, 04 Oct 2008 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
Thu, 01 Dec 2005 18:41:46 +0100 | wenzelm | replaced lib/scripts/showtime by more advanced lib/scripts/timestart|stop.bash; | file | diff | annotate |