| Wed, 15 Mar 2000 18:42:13 +0100 | wenzelm | splitter setup; | changeset | files |
| Wed, 15 Mar 2000 18:41:00 +0100 | wenzelm | tuned comments; | changeset | files |
| Wed, 15 Mar 2000 18:40:03 +0100 | wenzelm | include Splitter.split_modifiers; | changeset | files |
| Wed, 15 Mar 2000 18:38:52 +0100 | wenzelm | added attributes, method modifiers, theory setup; | changeset | files |
| Wed, 15 Mar 2000 18:36:53 +0100 | wenzelm | export change_global_ss, change_local_ss; | changeset | files |
| Wed, 15 Mar 2000 18:33:41 +0100 | wenzelm | removed export_chain; | changeset | files |
| Wed, 15 Mar 2000 18:32:41 +0100 | wenzelm | eliminated toplevel stack; | changeset | files |
| Wed, 15 Mar 2000 18:30:45 +0100 | wenzelm | 'pr': modes, optional limit; | changeset | files |
| Wed, 15 Mar 2000 18:29:32 +0100 | wenzelm | pr: modes, optional limit; | changeset | files |
| Wed, 15 Mar 2000 18:26:53 +0100 | wenzelm | pretty chunks; | changeset | files |
| Wed, 15 Mar 2000 18:25:42 +0100 | wenzelm | tuned comment; | changeset | files |
| Wed, 15 Mar 2000 18:24:27 +0100 | wenzelm | tuned comments; | changeset | files |