diff options
| author | Thomas Kleymann | 1998-10-01 11:32:42 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-01 11:32:42 +0000 |
| commit | a97d2a9319474a87f6a67a7e98dd5599f646c8b3 (patch) | |
| tree | 8d92528ae69d02d0a61406d39736612a8570f5f8 /etc/ProofGeneral.patch | |
| parent | 8f3821715fb335b83312094a64d47f2a5d9518af (diff) | |
coqtags is now Perl5 compatible - courtesy of hhg
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions