src/Doc/IsarImplementation/Prelim.thy
Wed, 12 Mar 2014 22:44:55 +0100 wenzelm added ML antiquotation @{here};
Sun, 02 Mar 2014 19:00:45 +0100 wenzelm clarified names of antiquotations and markup;
Wed, 22 Jan 2014 17:02:05 +0100 wenzelm prefer rail cartouche -- avoid back-slashed quotes;
less more (0) -3 tip