| Sat, 04 Oct 2008 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| Thu, 09 Aug 2007 19:19:23 +0200 | wenzelm | fixed DESCRIPTION: single line; | file | diff | annotate |
| Wed, 08 Aug 2007 20:03:17 +0200 | aspinall | Useful abbreviation of isatool commands used by Eclipse | file | diff | annotate |