Tue, 24 Oct 2000 23:36:17 +0200 | wenzelm | let commands access Toplevel.state; | changeset | files |
Tue, 24 Oct 2000 23:35:29 +0200 | wenzelm | added pretty_goals; | changeset | files |
Tue, 24 Oct 2000 23:34:08 +0200 | wenzelm | added antiquotation "goals" and option "goals_limit"; | changeset | files |
Tue, 24 Oct 2000 23:32:33 +0200 | wenzelm | tuned; | changeset | files |