doc-src/IsarRef/isar-ref.tex
Sat, 16 Dec 2000 21:40:49 +0100 wenzelm \isasymequiv;
Mon, 11 Dec 2000 20:08:19 +0100 wenzelm harpoons;
Tue, 17 Oct 2000 22:25:23 +0200 wenzelm tuned;
Thu, 12 Oct 2000 17:52:44 +0200 wenzelm tuned syms;
Fri, 06 Oct 2000 14:19:48 +0200 wenzelm tuned;
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Sat, 19 Aug 2000 12:44:20 +0200 wenzelm tuned \isastyle;
less more (0) -10 -7 tip