diff options
| author | David Aspinall | 2004-02-08 16:19:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-02-08 16:19:54 +0000 |
| commit | a53ce38103521381671d89b543ae76049eae134f (patch) | |
| tree | 6c1a6e35ad1fe81de12e95e36bea8518b61a62cf /FAQ | |
| parent | 2ff1e8c22f754d8fc70d0332427542731f7b64f0 (diff) | |
Try to remove link to ProofGeneral from web area.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions