Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | changeset | files |
Wed, 26 Nov 2014 16:55:43 +0100 | wenzelm | added ML antiquotation @{apply n} or @{apply n(k)}; | changeset | files |
Wed, 26 Nov 2014 15:44:32 +0100 | wenzelm | even more exception traces for Document.update, which goes through additional execution wrappers; | changeset | files |