| 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 |