src/Pure/Thy/presentation.scala
Thu, 19 Nov 2020 22:05:34 +0100 wenzelm clarified messages;
Thu, 19 Nov 2020 21:23:12 +0100 wenzelm clarified signature;
Wed, 18 Nov 2020 21:39:55 +0100 wenzelm tuned signature;
Wed, 18 Nov 2020 21:34:13 +0100 wenzelm store documents within session database, instead of browser_info directory;
Wed, 18 Nov 2020 15:52:12 +0100 wenzelm clarified modules;
less more (0) tip