| 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 |
| Sun, 28 May 2000 21:57:40 +0200 | wenzelm | \newcommand{\indexisarcase}; | file | diff | annotate |
| Sun, 21 May 2000 14:42:35 +0200 | wenzelm | improved \BG, \EN; | file | diff | annotate |