src/Doc/Isar_Ref/Quick_Reference.thy
Sun, 12 Jun 2016 13:43:27 +0200 wenzelm tuned;
Sat, 11 Jun 2016 16:58:17 +0200 wenzelm clarified;
Sat, 11 Jun 2016 16:41:11 +0200 wenzelm clarified syntax;
Sun, 24 Apr 2016 21:31:14 +0200 wenzelm added Isar command 'define';
Mon, 15 Feb 2016 14:55:44 +0100 wenzelm proper syntax; Isabelle2016
Wed, 10 Feb 2016 14:14:43 +0100 wenzelm misc tuning and updates;
Sun, 07 Feb 2016 19:33:42 +0100 wenzelm misc tuning and updates;
Sun, 07 Feb 2016 14:36:16 +0100 wenzelm clarified old forms;
Fri, 13 Nov 2015 14:49:30 +0100 wenzelm more uniform jEdit properties;
Tue, 20 Oct 2015 23:53:40 +0200 wenzelm isabelle update_cartouches -t;
Sun, 18 Oct 2015 22:57:09 +0200 wenzelm more control symbols;
Mon, 12 Oct 2015 22:03:24 +0200 wenzelm more symbols;
Tue, 30 Jun 2015 15:20:56 +0200 wenzelm renamed "default" to "standard", to make semantically clear what it is;
Tue, 07 Oct 2014 21:29:59 +0200 wenzelm more cartouches;
Tue, 01 Jul 2014 20:47:25 +0200 wenzelm tuned;
Tue, 08 Apr 2014 12:46:38 +0200 haftmann even more standardized doc session names after #b266e7a86485
less more (0) tip