| Fri, 03 Jul 2009 00:02:07 +0200 | wenzelm | Generic Isabelle application wrapper. | changeset | files |
| Fri, 03 Jul 2009 00:00:03 +0200 | wenzelm | observe SCALA_HOME, if available; | changeset | files |
| Thu, 02 Jul 2009 22:18:02 +0200 | wenzelm | merged | changeset | files |
| Thu, 02 Jul 2009 21:24:32 +0200 | wenzelm | recovered subscripts, which were lost in b41d61c768e2 (due to Emacs accident?); | changeset | files |
| Thu, 02 Jul 2009 18:32:28 +0200 | haftmann | merged | changeset | files |
| Thu, 02 Jul 2009 16:06:12 +0200 | haftmann | instance arities can be simultaneous | changeset | files |
| Thu, 02 Jul 2009 16:00:28 +0200 | haftmann | updated generated files | changeset | files |
| Thu, 02 Jul 2009 16:00:27 +0200 | haftmann | more friendly wrt. PGs interpretation of compound *); added dedicated section on value and quickcheck | changeset | files |
| Thu, 02 Jul 2009 14:43:06 +0100 | paulson | merged | changeset | files |
| Thu, 02 Jul 2009 10:49:46 +0100 | paulson | Deleted some debugging code | changeset | files |
| Wed, 01 Jul 2009 16:19:44 +0100 | paulson | merged | changeset | files |
| Wed, 24 Jun 2009 16:28:30 +0100 | paulson | merged | changeset | files |
| Tue, 23 Jun 2009 15:48:55 +0100 | paulson | merged | changeset | files |
| Thu, 18 Jun 2009 17:14:08 +0100 | paulson | Removed unnecessary conditions concerning nonzero divisors | changeset | files |