diff options
| author | Pierre Courtieu | 2000-08-26 11:05:07 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2000-08-26 11:05:07 +0000 |
| commit | 8eb18e285ae9c8e64b3bc6193ff050c858117855 (patch) | |
| tree | bc66f0a5d6170eb3dae0470bcc5595a72aad0a30 /doc | |
| parent | 76e90b9e529118677ce70df3d92339a66992c346 (diff) | |
Some changes for undoing with coq, handle user-defined tactics, in
coq/coq-syntax.el and coq/coq.el.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions