| Wed, 18 Aug 1999 16:11:14 +0200 | berghofe | Renamed sum_case to basic_sum_case and removed translations for sum_case | changeset | files |
| Wed, 18 Aug 1999 16:05:27 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 18 Aug 1999 16:04:00 +0200 | wenzelm | replaced 'ProofGeneral' by 'Proof General'; | changeset | files |
| Wed, 18 Aug 1999 15:40:45 +0200 | berghofe | Modified section about generation of theory browsing information. | changeset | files |