lib/texinputs/isabelle.sty
Sun, 21 Oct 2001 19:42:53 +0200 wenzelm \newif\ifisamarkup controls spacing of isabeginpar;
Wed, 26 Sep 2001 22:25:23 +0200 wenzelm bold symbols;
Sun, 21 Jan 2001 13:21:14 +0100 wenzelm \isaindent;
Sun, 07 Jan 2001 21:45:14 +0100 wenzelm removed ID (avoid CVS conflicts with generated versions);
less more (0) -30 -10 -4 tip