| Sun, 26 Jul 2009 13:12:54 +0200 | wenzelm | advanced retrofit, which allows new subgoals and variables; | changeset | files |
| Sun, 26 Jul 2009 13:12:54 +0200 | wenzelm | Variable.focus: named parameters; | changeset | files |
| Sun, 26 Jul 2009 13:12:53 +0200 | wenzelm | lambda/cabs/all: named variants; | changeset | files |
| Sun, 26 Jul 2009 13:12:52 +0200 | wenzelm | Goal.finish: explicit context for printing; | changeset | files |
| Sat, 25 Jul 2009 18:55:30 +0200 | wenzelm | fixed Method.Basic; | changeset | files |
| Sat, 25 Jul 2009 18:55:12 +0200 | wenzelm | eliminated obsolete/obscure Seq.wrap, Position.setmp_thread_data_seq; | changeset | files |
| Sat, 25 Jul 2009 18:04:15 +0200 | wenzelm | Method.Basic: no position; | changeset | files |