| Mon, 14 Aug 2006 13:46:05 +0200 | haftmann | added passage on class package | file | diff | annotate |
| Tue, 04 Jul 2006 18:39:57 +0200 | wenzelm | added 'unfolding'; | file | diff | annotate |
| Thu, 02 Feb 2006 16:31:30 +0100 | wenzelm | index elements; | file | diff | annotate |
| Wed, 01 Jun 2005 12:30:49 +0200 | ballarin | Locales: new element constrains, parameter renaming with syntax, | file | diff | annotate |
| Thu, 07 Mar 2002 23:21:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 04 Mar 2002 19:06:01 +0100 | wenzelm | \SHOWS; | file | diff | annotate |
| Thu, 28 Feb 2002 18:11:11 +0100 | wenzelm | updated; | file | diff | annotate |
| Wed, 27 Feb 2002 19:43:55 +0100 | wenzelm | 'using' command; | file | diff | annotate |
| Thu, 03 Jan 2002 17:55:46 +0100 | wenzelm | \CONSTDEFS; | file | diff | annotate |
| Wed, 02 Jan 2002 21:51:38 +0100 | wenzelm | added \indexisarcmdof, \indexisarmethof, \indexisarattof; | file | diff | annotate |
| Wed, 10 Jan 2001 20:19:56 +0100 | wenzelm | tuned \DOT, \DDOT; | file | diff | annotate |
| Wed, 25 Oct 2000 18:34:10 +0200 | wenzelm | added \isarantiq; | file | diff | annotate |
| Tue, 17 Oct 2000 22:22:56 +0200 | wenzelm | improved; | file | diff | annotate |
| Sun, 15 Oct 2000 19:50:59 +0200 | wenzelm | more elements; | file | diff | annotate |
| Thu, 29 Jun 2000 22:39:09 +0200 | wenzelm | added \indexisarant; | file | diff | annotate |