Tue, 24 Oct 2000 23:38:56 +0200 | wenzelm | * support sub/super scripts (for single symbols only), input syntax is | changeset | files |
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 |
Tue, 24 Oct 2000 17:35:22 +0200 | wenzelm | added clasimpset: unit -> clasimpset; | changeset | files |