| Mon, 16 Mar 2009 17:46:49 +0100 | wenzelm | adapted 'method_setup' command to Method.setup; | changeset | files |
| Mon, 16 Mar 2009 17:46:11 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 16 Mar 2009 14:26:30 +0100 | immler | have remote script interrupted like the other provers | changeset | files |
| Sun, 15 Mar 2009 20:25:58 +0100 | wenzelm | simplified method setup; | changeset | files |
| Sun, 15 Mar 2009 20:19:14 +0100 | wenzelm | export section, sections; | changeset | files |
| Sun, 15 Mar 2009 16:59:17 +0100 | wenzelm | merged | changeset | files |
| Sat, 14 Mar 2009 17:52:53 +0100 | immler | updated NEWS | changeset | files |
| Sat, 14 Mar 2009 16:50:25 +0100 | immler | use goal instead of Proof State | changeset | files |
| Sat, 14 Mar 2009 16:46:23 +0100 | immler | split relevance-filter and writing of problem-files; | changeset | files |
| Sat, 14 Mar 2009 15:45:45 +0100 | immler | show certain errors to the user | changeset | files |
| Sat, 14 Mar 2009 15:15:44 +0100 | immler | removed connection check; | changeset | files |
| Sun, 15 Mar 2009 16:02:22 +0100 | wenzelm | merged | changeset | files |
| Sat, 14 Mar 2009 12:51:13 +0100 | haftmann | merged | changeset | files |
| Sat, 14 Mar 2009 12:50:29 +0100 | haftmann | reverted to old version of Set.thy -- strange effects have to be traced first | changeset | files |