diff options
| author | David Aspinall | 1998-12-16 18:23:09 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-16 18:23:09 +0000 |
| commit | 65814b4f19e1e938afe7b2143dfdba1751599489 (patch) | |
| tree | 375b5349e0135517c4655c025beb16e9180b4093 /generic/proof-script.el | |
| parent | bbdb31ffa766e7e6bedcabcc06f75771828afbba (diff) | |
Added a menu.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions
