diff options
| author | Christophe Raffalli | 2000-10-26 17:34:01 +0000 |
|---|---|---|
| committer | Christophe Raffalli | 2000-10-26 17:34:01 +0000 |
| commit | f533bf9cacbca9466ae28bbf8f1945a115f803a3 (patch) | |
| tree | 1e00b459f53102ce555da47ba6f61dd1138d095f /generic/proof-script.el | |
| parent | 5a1168cefaac1960b781c2e807eb4a88895519e1 (diff) | |
*** empty log message ***
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions