| 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 |
| Wed, 26 Nov 2014 14:35:55 +0100 | wenzelm | more informative failure of protocol commands, with exception trace; | changeset | files |
| Wed, 26 Nov 2014 11:43:51 +0100 | wenzelm | load simple_thread.ML later, such that it benefits from redefined print_exception_trace; | changeset | files |
| Tue, 25 Nov 2014 17:30:05 +0100 | hoelzl | tuned proof that pmfs are bnfs | changeset | files |