Sat, 30 Sep 2000 12:27:57 +0200 | wenzelm | isapar: \medskip; | file | diff | annotate |
Thu, 21 Sep 2000 18:33:48 +0200 | wenzelm | improved \isachartilde for non-tt styles; | file | diff | annotate |
Mon, 18 Sep 2000 23:43:11 +0200 | wenzelm | added plain "tt" style; | file | diff | annotate |
Fri, 15 Sep 2000 16:30:16 +0200 | wenzelm | fixed "sl" style; | file | diff | annotate |
Mon, 11 Sep 2000 17:34:42 +0200 | wenzelm | added \isabellecontext; | file | diff | annotate |
Sun, 03 Sep 2000 20:01:27 +0200 | wenzelm | GPLed; | file | diff | annotate |