| Sun, 26 Jul 2009 07:54:28 +0200 | haftmann | merged | changeset | files |
| Sat, 25 Jul 2009 18:44:55 +0200 | haftmann | improved handling of parameter import; tuned | changeset | files |
| Sat, 25 Jul 2009 18:44:55 +0200 | haftmann | explicit is better than implicit | changeset | files |
| Sat, 25 Jul 2009 18:44:54 +0200 | haftmann | localized interpretation of min/max-lattice | changeset | files |
| Sat, 25 Jul 2009 18:44:54 +0200 | haftmann | adapted to localized interpretation of min/max-lattice | changeset | files |
| Sun, 26 Jul 2009 18:57:11 +0200 | wenzelm | SUBPROOF/Obtain.result: named params; | changeset | files |
| Sun, 26 Jul 2009 13:21:12 +0200 | wenzelm | updated Variable.focus, SUBPROOF, Obtain.result, Goal.finish; | changeset | files |
| Sun, 26 Jul 2009 13:12:54 +0200 | wenzelm | advanced retrofit, which allows new subgoals and variables; | changeset | files |