src/Pure/PIDE/isabelle_markup.ML
Tue, 29 Nov 2011 21:50:00 +0100 wenzelm clarified Time vs. Timing;
Tue, 29 Nov 2011 19:49:36 +0100 wenzelm rearranged files;
less more (0) tip