diff options
| author | Makarius Wenzel | 1999-05-27 19:27:27 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-27 19:27:27 +0000 |
| commit | de6ec194f89ccf50b55109957cc6eae9bbec5307 (patch) | |
| tree | 800146d8b21f37f9bcb8f51e724728c18713b005 /etc/ProofGeneral.patch | |
| parent | bb675ae202e887b2a47d57d0aecbec1bfa8794ba (diff) | |
be chatty;
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions