src/Doc/IsarRef/Generic.thy
Sun, 26 Jan 2014 14:01:19 +0100 wenzelm discontinued obsolete attribute "standard";
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;
less more (0) -10 -3 tip