| Fri, 28 Aug 1998 14:59:34 +0200 | wenzelm | added emacs mode; | changeset | files |
| Fri, 28 Aug 1998 14:20:14 +0200 | wenzelm | tuned isatool install; | changeset | files |
| Fri, 28 Aug 1998 14:18:46 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Aug 1998 14:08:55 +0200 | wenzelm | -d DISTDIR; | changeset | files |
| Fri, 28 Aug 1998 13:35:43 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 27 Aug 1998 20:56:26 +0200 | wenzelm | www.in.tum.de; | changeset | files |
| Thu, 27 Aug 1998 20:46:36 +0200 | wenzelm | made tutorial first; | changeset | files |
| Thu, 27 Aug 1998 20:45:57 +0200 | wenzelm | tuned; | changeset | files |