| Wed, 15 Mar 2000 18:50:48 +0100 | wenzelm | ## -D document; | changeset | files |
| Wed, 15 Mar 2000 18:50:14 +0100 | wenzelm | renamed isabelle env; | changeset | files |
| Wed, 15 Mar 2000 18:47:28 +0100 | wenzelm | splitter setup; | changeset | files |
| Wed, 15 Mar 2000 18:42:54 +0100 | wenzelm | clasimp: include Splitter; | changeset | files |
| 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 |