| Tue, 11 Feb 2014 09:29:46 +0100 | nipkow | tuned | changeset | files |
| Mon, 10 Feb 2014 23:24:44 +0100 | wenzelm | merged | changeset | files |
| Mon, 10 Feb 2014 22:39:04 +0100 | wenzelm | seal system channels at end of Pure bootstrap -- Isabelle/Scala provides official interfaces; | changeset | files |
| Mon, 10 Feb 2014 22:22:06 +0100 | wenzelm | make triple-sure that the future scheduler is properly shutdown (see also 702278df3b57); | changeset | files |
| Mon, 10 Feb 2014 22:08:18 +0100 | wenzelm | discontinued axiomatic 'classes', 'classrel', 'arities'; | changeset | files |
| Mon, 10 Feb 2014 22:07:50 +0100 | wenzelm | updated keywords; | changeset | files |
| Mon, 10 Feb 2014 21:03:28 +0100 | wenzelm | more explicit axiomatization; | changeset | files |
| Mon, 10 Feb 2014 21:00:56 +0100 | wenzelm | prefer vacuous definitional type classes over axiomatic ones; | changeset | files |