diff options
| author | Makarius Wenzel | 1999-05-26 20:21:15 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-26 20:21:15 +0000 |
| commit | b0fc13cbe1c2181084bdbba94ada080088f0a66a (patch) | |
| tree | fd1b3fa31bf2945af5cc0eccb126889075d5013e /generic/proof-script.el | |
| parent | cfaa3064e4365e0ae849b1cf051bee4fb88cfef2 (diff) | |
proper setup for indentation;
improved cannot-undo;
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions