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;
less more (0) -30 -10 -3 tip