src/Doc/IsarRef/Misc.thy
Sat, 15 Mar 2014 11:22:25 +0100 wenzelm more explicit treatment of verbose mode, which includes concealed entries;
Wed, 22 Jan 2014 17:02:05 +0100 wenzelm prefer rail cartouche -- avoid back-slashed quotes;
Fri, 17 Jan 2014 20:20:20 +0100 wenzelm clarified @{rail} syntax: prefer explicit \<newline> symbol;
Wed, 15 Jan 2014 16:59:24 +0100 nipkow tuned text
Tue, 10 Sep 2013 14:02:49 +0200 wenzelm tuned;
Tue, 13 Aug 2013 16:25:47 +0200 wenzelm standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
Mon, 26 Nov 2012 13:54:43 +0100 wenzelm refined outer syntax 'help' command;
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip