diff options
| author | Makarius Wenzel | 2001-08-30 19:41:27 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-08-30 19:41:27 +0000 |
| commit | d2a785370e33b82d31e23b4564aa1785d231a437 (patch) | |
| tree | 73363f50ade0f945e6ccce0a0d2fdf127a824d2d /generic/proof-script.el | |
| parent | da0a521b5a69220eca07794daec9c55cfad9ec2a (diff) | |
updated;
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions