diff options
| author | Makarius Wenzel | 1999-08-18 17:04:03 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-18 17:04:03 +0000 |
| commit | c5f898260c420b355a053f5eb753c7f71828bb94 (patch) | |
| tree | c19a3d460100013146f7a574b8f7f6fa177b5579 /html | |
| parent | 0d948350f66621e17334c75789192655d76c4cf6 (diff) | |
replaced 'ProofGeneral' by 'Proof General';
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions