Mon, 28 Jun 1999 23:02:03 +0200 | wenzelm | tuned; | changeset | files |
Mon, 28 Jun 1999 21:48:36 +0200 | wenzelm | cond_extern_table; | changeset | files |
Mon, 28 Jun 1999 21:47:55 +0200 | wenzelm | added presume command; | changeset | files |
Mon, 28 Jun 1999 21:47:04 +0200 | wenzelm | cond_extern_table; | changeset | files |
Mon, 28 Jun 1999 21:46:33 +0200 | wenzelm | tuned print_state; | changeset | files |
Mon, 28 Jun 1999 21:44:19 +0200 | wenzelm | tuned output: print_context replaced by strings_of_context; | changeset | files |