src/Doc/Isar_Ref/document/style.sty
Sun, 07 Feb 2016 19:33:42 +0100 wenzelm misc tuning and updates;
Tue, 29 Dec 2015 19:11:23 +0100 wenzelm eliminated obscure macro that is in conflict with amsmath.sty;
Wed, 04 Nov 2015 14:40:18 +0100 wenzelm tuned;
Sat, 10 Jan 2015 22:04:43 +0100 wenzelm proper latex;
Tue, 08 Apr 2014 12:46:38 +0200 haftmann even more standardized doc session names after #b266e7a86485
less more (0) tip