diff options
| author | Thomas Kleymann | 1998-09-17 15:17:47 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-09-17 15:17:47 +0000 |
| commit | 7a9fca936e0869ffe9da364095804f59bb334814 (patch) | |
| tree | caa82e06fdbc3a81ec22ed3240fbd87365066ee8 /etc/ProofGeneral.patch | |
| parent | b8aa06bb750332b97e9a9ec4432137d8195d1dcc (diff) | |
integrated da's comments
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions