| Fri, 01 Jul 2005 14:41:57 +0200 | wenzelm | isatool install: removed KDE option; | file | diff | annotate |
| Mon, 20 Jun 2005 16:41:20 +0200 | wenzelm | ./configure obsolete on virtually all systems, but apt to cause problems; | file | diff | annotate |
| Tue, 13 May 2003 08:59:21 +0200 | kleing | HOL-Real -> HOL-Complex | file | diff | annotate |
| Mon, 12 May 2003 13:57:23 +0200 | kleing | removed references to KDE versions (works for any). | file | diff | annotate |
| Wed, 14 Feb 2001 23:42:45 +0100 | wenzelm | isatool install -k; | file | diff | annotate |
| Tue, 26 Sep 2000 17:04:17 +0200 | wenzelm | simplified; | file | diff | annotate |
| Wed, 20 Sep 2000 14:59:19 +0200 | wenzelm | tuned rpm command lines; | file | diff | annotate |