src/Doc/IsarRef/Outer_Syntax.thy
Wed, 22 Jan 2014 17:02:05 +0100 wenzelm prefer rail cartouche -- avoid back-slashed quotes;
Sun, 19 Jan 2014 20:52:57 +0100 wenzelm cartouche within nested args (attributes, methods, etc.);
Sat, 18 Jan 2014 19:15:12 +0100 wenzelm support for nested text cartouches;
Sun, 18 Aug 2013 13:25:31 +0200 wenzelm updated identifier syntax;
less more (0) -4 tip