| Fri, 07 Jul 2006 09:28:39 +0200 | ballarin | Internal restructuring: identify no longer computes syntax. | changeset | files |
| Fri, 07 Jul 2006 09:24:05 +0200 | ballarin | Modified comment. | changeset | files |
| Fri, 07 Jul 2006 02:12:52 +0200 | webertj | added support for MiniSat 1.14 | changeset | files |
| Thu, 06 Jul 2006 23:36:40 +0200 | wenzelm | removed obsolete locale view; | changeset | files |
| 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 |
| Thu, 06 Jul 2006 15:21:33 +0200 | wenzelm | added Isar.context; | changeset | files |
| Thu, 06 Jul 2006 12:18:17 +0200 | paulson | some tidying; fixed the output of theorem names | changeset | files |