| Fri, 19 Feb 2016 15:01:38 +0100 | wenzelm | moved examples to avoid dependency on bulky HOL-Proofs session, e.g. relevant for "isabelle makedist"; | changeset | files |
| Fri, 19 Feb 2016 14:50:12 +0100 | wenzelm | tutorial is old; | changeset | files |
| Fri, 19 Feb 2016 07:57:23 +0100 | nipkow | tuned | changeset | files |
| Thu, 18 Feb 2016 23:30:06 +0100 | wenzelm | merged | changeset | files |
| Thu, 18 Feb 2016 23:10:28 +0100 | wenzelm | unconditional Multithreading; | changeset | files |
| Thu, 18 Feb 2016 17:07:10 +0100 | haftmann | NEWS concerning 66a381d3f88f | changeset | files |
| Wed, 17 Feb 2016 23:29:35 +0100 | wenzelm | merged | changeset | files |
| Wed, 17 Feb 2016 23:28:58 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 17 Feb 2016 23:15:47 +0100 | wenzelm | clarified file names; | changeset | files |
| Wed, 17 Feb 2016 23:06:24 +0100 | wenzelm | SML/NJ is no longer supported; | changeset | files |
| Wed, 17 Feb 2016 21:51:58 +0100 | haftmann | dropped various legacy fact bindings and tuned proofs | changeset | files |
| Wed, 17 Feb 2016 21:51:58 +0100 | haftmann | separated potentially conflicting type class instance into separate theory | changeset | files |
| Wed, 17 Feb 2016 21:51:58 +0100 | haftmann | gcd instances for poly | changeset | files |
| Wed, 17 Feb 2016 21:51:57 +0100 | haftmann | more sophisticated GCD syntax | changeset | files |