| 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 15:05:34 +0200 | wenzelm | change IFS only locally -- thanks to bash arrays; | 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 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| Sat, 24 May 2008 02:19:09 +0200 | urbanc | fixed improper handling of return code (pdf and ps.gz formats) | file | diff | annotate |
| Thu, 15 May 2008 20:02:37 +0200 | wenzelm | removed obsolete thumbpdf; | file | diff | annotate |