| Fri, 19 Jul 2013 23:29:43 +0200 | wenzelm | proper Future.shutdown, to wait for the scheduler thread to finish remaining tasks (notably external processes); | changeset | files |
| Fri, 19 Jul 2013 20:56:39 +0200 | wenzelm | old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483); | changeset | files |
| Fri, 19 Jul 2013 17:58:57 +0200 | wenzelm | just one option "skip_proofs", without direct access within the editor (it makes document processing stateful without strong reasons -- monotonic updates already handle goal forks smoothly); | changeset | files |
| Fri, 19 Jul 2013 17:35:12 +0200 | wenzelm | turned pattern unify flag into configuration option (global only); | changeset | files |
| Fri, 19 Jul 2013 16:36:13 +0200 | traytel | merged | changeset | files |
| Fri, 19 Jul 2013 14:51:45 +0200 | traytel | permissive uncheck -- allow printing of malformed terms (e.g. in error messages); | changeset | files |