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
less more (0) -4 tip