src/Doc/Isar_Ref/Base.thy
2016-02-14 wenzelm 2016-02-14 command '\<proof>' is an alias for 'sorry', with different typesetting;
2016-02-07 wenzelm 2016-02-07 misc tuning and updates;
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485