doc-src/IsarRef/isar-ref.tex
Thu, 02 Dec 2010 23:09:54 +0100 wenzelm isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;
Wed, 18 Mar 2009 11:57:28 +0100 haftmann tuned interpunctation
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
less more (0) -30 -10 -3 tip