| Thu, 06 Jul 2006 17:47:35 +0200 | wenzelm | apply_text: support Method.Source_i; | changeset | files |
| Thu, 06 Jul 2006 17:47:34 +0200 | wenzelm | added method_i and Source_i; | changeset | files |
| Thu, 06 Jul 2006 17:47:33 +0200 | wenzelm | thm parsers: include Args.internal_fact; | changeset | files |
| Thu, 06 Jul 2006 16:49:40 +0200 | wenzelm | add/del_simps: warning for inactive simpset (no context); | changeset | files |
| Thu, 06 Jul 2006 16:49:39 +0200 | wenzelm | updated; | changeset | files |
| Thu, 06 Jul 2006 16:49:38 +0200 | wenzelm | Local variables; | changeset | files |
| Thu, 06 Jul 2006 16:49:37 +0200 | wenzelm | Isar.context (); | changeset | files |
| Thu, 06 Jul 2006 16:49:36 +0200 | wenzelm | tuned; | changeset | files |