| Mon, 05 Jan 2009 00:13:11 +0100 | wenzelm | Isar.init; | changeset | files |
| Mon, 05 Jan 2009 00:12:49 +0100 | wenzelm | simplified tty model -- back to plain list history, which is independent of editor model; | changeset | files |
| Mon, 05 Jan 2009 00:10:38 +0100 | wenzelm | added is_control, is_regular, is_theory_begin; | changeset | files |
| Sun, 04 Jan 2009 15:40:30 +0100 | wenzelm | more precise is_relevant: requires original main goal, not initial goal state; | changeset | files |
| Sun, 04 Jan 2009 15:28:40 +0100 | wenzelm | tuned protect, conclude: Drule.comp_no_flatten; | changeset | files |
| Sun, 04 Jan 2009 15:28:09 +0100 | wenzelm | added comp_no_flatten; | changeset | files |
| Sun, 04 Jan 2009 00:01:16 +0100 | wenzelm | future proofs: back to Future.fork_pri ~1 for improved parallelism; | changeset | files |