src/Doc/Isar_Ref/document/root.tex
Mon, 12 Oct 2015 19:41:10 +0200 wenzelm obsolete;
Tue, 04 Aug 2015 12:19:41 +0200 traytel more documentation of coercions
Mon, 06 Jul 2015 20:13:51 +0200 wenzelm clarified sections;
Mon, 06 Jul 2015 11:14:44 +0200 wenzelm removed outdated and mostly obsolete material;
Mon, 15 Jun 2015 14:10:41 +0200 wenzelm moved sections;
Mon, 25 May 2015 22:11:43 +0200 wenzelm merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML;
Sun, 17 May 2015 21:44:34 +0200 wenzelm tuned;
Sat, 23 May 2015 22:13:24 +0200 wenzelm prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive;
Wed, 08 Apr 2015 21:08:26 +0200 wenzelm added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
Mon, 21 Jul 2014 15:16:50 +0200 wenzelm more on "Simplifier trace" (by Lars Hupel);
Tue, 08 Apr 2014 12:46:38 +0200 haftmann even more standardized doc session names after #b266e7a86485
less more (0) tip