| Thu, 09 Oct 2014 22:43:48 +0200 | haftmann | more foundational definition for predicate even | changeset | files |
| Fri, 10 Oct 2014 18:23:59 +0200 | nipkow | New example Bubblesort | changeset | files |
| Thu, 09 Oct 2014 16:47:56 +0200 | haftmann | formally completeted set of experimental static evaluation functions | changeset | files |
| Thu, 09 Oct 2014 17:31:50 +0200 | wenzelm | merged | changeset | files |
| Thu, 09 Oct 2014 13:57:40 +0200 | wenzelm | afford slightly bigger JVM stack (see also f7ba30a816b9); | changeset | files |
| Thu, 09 Oct 2014 13:56:27 +0200 | wenzelm | prefer original TEMP from Windows, e.g. relevant for Isabelle distribution within read-only directory (due to its bundled Cygwin and /tmp inside of it); | changeset | files |