| Fri, 14 Dec 2007 21:15:35 +0100 | wenzelm | added isatool tty; | file | diff | annotate |
| Thu, 15 Nov 2007 11:49:03 +0100 | wenzelm | isatool version: clarify that this is the *long* form; | file | diff | annotate |
| Mon, 18 Sep 2006 19:12:44 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 21 Sep 2005 18:06:04 +0200 | wenzelm | updated for Isabelle2005; | file | diff | annotate |
| Fri, 01 Jul 2005 14:41:57 +0200 | wenzelm | isatool install: removed KDE option; | file | diff | annotate |
| Sun, 05 Jun 2005 11:31:20 +0200 | wenzelm | added isatool version; | file | diff | annotate |
| Sun, 13 Jun 2004 15:28:30 +0200 | wenzelm | added isatool display and isatool print; | file | diff | annotate |
| Fri, 08 Mar 2002 15:33:32 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 11 Dec 2001 15:36:28 +0100 | wenzelm | updated; | file | diff | annotate |
| Fri, 28 Sep 2001 14:04:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 14 Feb 2001 23:17:53 +0100 | wenzelm | isatool install handles KDE version 1 or 2; | file | diff | annotate |
| Fri, 02 Feb 2001 22:17:31 +0100 | wenzelm | isatool convert; | file | diff | annotate |
| Fri, 01 Sep 2000 18:01:05 +0200 | wenzelm | ISABELLE_PATH: ML_IDENTIFIER no longer added; | file | diff | annotate |
| Tue, 19 Oct 1999 13:45:51 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 18 Oct 1999 19:43:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Oct 1999 19:39:19 +0200 | wenzelm | updated; | file | diff | annotate |
| Fri, 08 Oct 1999 15:39:52 +0200 | wenzelm | make: tuned usage; | file | diff | annotate |
| Mon, 06 Sep 1999 22:12:08 +0200 | wenzelm | expandshort usage: forward_tac; | file | diff | annotate |
| Fri, 03 Sep 1999 18:30:14 +0200 | wenzelm | usage: tell OPTIONS; | file | diff | annotate |
| Thu, 19 Aug 1999 12:39:19 +0200 | wenzelm | usedir: removed -m option; | file | diff | annotate |
| Tue, 17 Aug 1999 11:51:12 +0200 | wenzelm | -m option; | file | diff | annotate |
| Thu, 08 Jul 1999 18:26:24 +0200 | wenzelm | updated usedir; | file | diff | annotate |
| Tue, 13 Apr 1999 12:39:35 +0200 | wenzelm | updated isatool install; | file | diff | annotate |
| Tue, 13 Apr 1999 10:34:30 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 25 Sep 1998 14:47:39 +0200 | wenzelm | added isatool logo; | file | diff | annotate |
| Fri, 28 Aug 1998 14:20:14 +0200 | wenzelm | tuned isatool install; | file | diff | annotate |
| Mon, 24 Aug 1998 17:13:58 +0200 | wenzelm | emacs local vars; | file | diff | annotate |
| Mon, 12 Jan 1998 15:47:43 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 08 Jan 1998 18:25:36 +0100 | wenzelm | updated to Isabelle98; | file | diff | annotate |
| Tue, 30 Sep 1997 17:29:32 +0200 | berghofe | Updated usage information for tool "usedir". | file | diff | annotate |
| Wed, 21 May 1997 17:11:46 +0200 | wenzelm | release version (sort of); | file | diff | annotate |
| Tue, 20 May 1997 19:34:24 +0200 | wenzelm | under construction; | file | diff | annotate |
| Fri, 16 May 1997 15:57:11 +0200 | wenzelm | still under construction! | file | diff | annotate |
| Wed, 14 May 1997 19:27:21 +0200 | wenzelm | preliminary! | file | diff | annotate |