wenzelm [Sun, 30 Nov 2014 12:46:16 +0100] rev 59065
tuned signature -- prefer Input.source;
wenzelm [Sun, 30 Nov 2014 12:24:56 +0100] rev 59064
more abstract type Input.source;
wenzelm [Sat, 29 Nov 2014 14:43:10 +0100] rev 59063
encode text with control symbols;
wenzelm [Sat, 29 Nov 2014 14:42:32 +0100] rev 59062
proper HTML.encode;
haftmann [Wed, 26 Nov 2014 15:59:46 +0100] rev 59061
prefer abbrev for is_unit
haftmann [Wed, 26 Nov 2014 15:46:19 +0100] rev 59060
do not conceal inductive predicate names properly, following 4a3747517552
haftmann [Wed, 26 Nov 2014 15:46:17 +0100] rev 59059
tuned
wenzelm [Wed, 26 Nov 2014 20:05:34 +0100] rev 59058
renamed "pairself" to "apply2", in accordance to @{apply 2};
wenzelm [Wed, 26 Nov 2014 16:55:43 +0100] rev 59057
added ML antiquotation @{apply n} or @{apply n(k)};
wenzelm [Wed, 26 Nov 2014 15:44:32 +0100] rev 59056
even more exception traces for Document.update, which goes through additional execution wrappers;