diff options
| author | Thomas Kleymann | 1998-12-15 16:54:57 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-12-15 16:54:57 +0000 |
| commit | f2a45a25c9ec8a95a87646dc137fb34491b247a2 (patch) | |
| tree | ca1ab12ff1af044fb9ce171667285e1f6bd159d1 /generic/proof-script.el | |
| parent | f42e682a23e87a8b0a0f448093a857a04b7313ca (diff) | |
credits now at the beginning
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions