| 2008-12-20 | wenzelm | removed Ids; | file | diff | annotate |
| 2008-10-21 | wenzelm | tuned usage line; | file | diff | annotate |
| 2008-10-04 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| 2007-08-09 | wenzelm | fixed DESCRIPTION: single line; | file | diff | annotate |
| 2007-08-08 | aspinall | Useful abbreviation of isatool commands used by Eclipse | file | diff | annotate |