src/Doc/System/Scala.thy
Wed, 04 Nov 2015 20:18:46 +0100 wenzelm tuned whitespace;
Thu, 22 Oct 2015 21:16:49 +0200 wenzelm more control symbols;
Mon, 12 Oct 2015 18:18:48 +0200 wenzelm @{verbatim [display]} supersedes old alltt/ttbox;
Tue, 07 Oct 2014 21:29:59 +0200 wenzelm more cartouches;
Sun, 05 Oct 2014 22:46:13 +0200 wenzelm prefer @{cite} antiquotation;
Mon, 04 Aug 2014 17:53:17 +0200 wenzelm tuned;
Mon, 09 Jun 2014 20:41:00 +0200 wenzelm more on command-line invocation -- moved material from system manual;
less more (0) -7 tip