2016-10-24 eberlm <eberlm@in.tum.de> [Mon, 24 Oct 2016 13:50:12 +0200] rev 64363
Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
CONTRIBUTORS NEWS

2016-10-23 wenzelm [Sun, 23 Oct 2016 16:44:17 +0200] rev 64362
more readable output: whitespace is insignificant in HTML;
src/Pure/Thy/html.scala

2016-10-23 wenzelm [Sun, 23 Oct 2016 16:37:59 +0200] rev 64361
misc tuning and clarification;
src/Pure/Admin/build_release.scala

2016-10-23 wenzelm [Sun, 23 Oct 2016 15:25:48 +0200] rev 64360
modernized;
src/Pure/Admin/build_release.scala

2016-10-23 wenzelm [Sun, 23 Oct 2016 15:24:10 +0200] rev 64359
more operations;
src/Pure/Thy/html.scala

2016-10-23 wenzelm [Sun, 23 Oct 2016 13:16:23 +0200] rev 64358
more operations (see also properties.ML);
src/Pure/General/properties.scala src/Pure/PIDE/markup.scala src/Pure/PIDE/xml.scala

2016-10-23 wenzelm [Sun, 23 Oct 2016 12:35:48 +0200] rev 64357
tuned signature: avoid conflict with "paragraph" as section heading;
src/Pure/Thy/markdown.ML src/Pure/Thy/thy_output.ML

2016-10-23 wenzelm [Sun, 23 Oct 2016 12:34:39 +0200] rev 64356
tuned;
src/Pure/Thy/html.scala

2016-10-23 wenzelm [Sun, 23 Oct 2016 12:30:57 +0200] rev 64355
support for XML as HTML;
tuned;
src/Pure/Thy/html.scala src/Pure/library.scala

2016-10-23 wenzelm [Sun, 23 Oct 2016 12:27:11 +0200] rev 64354
tuned;
src/Pure/PIDE/xml.scala