| Thu, 02 Jul 2015 10:06:47 +0200 | haftmann | separate (semi)ring with normalization | changeset | files |
| Thu, 02 Jul 2015 14:10:42 +0200 | wenzelm | merged | changeset | files |
| Thu, 02 Jul 2015 14:09:59 +0200 | wenzelm | more CONTRIBUTORS; | changeset | files |
| Thu, 02 Jul 2015 14:09:43 +0200 | wenzelm | documentation for 'subgoal' command; | changeset | files |
| Thu, 02 Jul 2015 12:39:08 +0200 | wenzelm | clarified module; | changeset | files |
| Thu, 02 Jul 2015 12:33:04 +0200 | wenzelm | allow to specify suffix of goal parameters; | changeset | files |
| Thu, 02 Jul 2015 00:09:04 +0200 | wenzelm | subgoal parameters are internal by default and named by user; | changeset | files |
| Wed, 01 Jul 2015 22:37:49 +0200 | wenzelm | split multi-goals as usual (outermost Pure.conjunction only); | changeset | files |