diff options
| author | Pierre Courtieu | 2002-06-11 20:16:41 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2002-06-11 20:16:41 +0000 |
| commit | 3ccc1ddd5424523184c7f0e559efcaa6237b83f1 (patch) | |
| tree | e85a001affbf9c6a723ce3afe5de932b1024bf0b /html/smallpage.php | |
| parent | be3d7f0c302944ef4b0644207460c50d2437ff9f (diff) | |
Added the coq-user-... elisp customization variables to allow the user
to defclare new commands and tactics: must typically be customized in
.emacs.
Diffstat (limited to 'html/smallpage.php')
0 files changed, 0 insertions, 0 deletions