| Wed, 13 Jul 2005 16:07:25 +0200 | wenzelm | open ReconPrelim ReconTranslateProof; | changeset | files |
| Wed, 13 Jul 2005 16:07:24 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 13 Jul 2005 16:07:23 +0200 | wenzelm | use Toplevel.print_state_hook instead of adhoc Proof.atp_hook; | changeset | files |
| Wed, 13 Jul 2005 16:07:22 +0200 | wenzelm | tuned concat_with_and; | changeset | files |
| Wed, 13 Jul 2005 16:07:21 +0200 | wenzelm | improved Net interface; | changeset | files |
| Wed, 13 Jul 2005 16:07:18 +0200 | wenzelm | * Isar session: The initial use of ROOT.ML is now always timed; | changeset | files |
| Wed, 13 Jul 2005 15:25:05 +0200 | aspinall | Add acceptedpgipelems message | changeset | files |
| Wed, 13 Jul 2005 15:19:13 +0200 | paulson | auto update | changeset | files |
| Wed, 13 Jul 2005 15:06:20 +0200 | paulson | generlization of some "nat" theorems | changeset | files |
| Wed, 13 Jul 2005 15:06:04 +0200 | paulson | relevance filtering is now optional | changeset | files |
| Wed, 13 Jul 2005 15:05:48 +0200 | paulson | tidied | changeset | files |
| Wed, 13 Jul 2005 14:56:00 +0200 | wenzelm | fixed comment-out; | changeset | files |
| Wed, 13 Jul 2005 12:24:39 +0200 | obua | fix | changeset | files |
| Wed, 13 Jul 2005 12:14:23 +0200 | aspinall | Add management for current working directory | changeset | files |
| Wed, 13 Jul 2005 11:30:37 +0200 | haftmann | (fix for an accidental commit) | changeset | files |