diff options
author | 2004-03-11 12:09:03 +0000 | |
---|---|---|
committer | 2004-03-11 12:09:03 +0000 | |
commit | 66004cbbdf3858f12482990af7b06291e676d262 (patch) | |
tree | 4b4e7f8eb858cb64de8782f3598ebd4322e3fc16 /coq/x-symbol-coq.el | |
parent | 41c4820a778903785d2009820a06787d273152e4 (diff) |
bug fixes on indenting and command-end-regexp.
Diffstat (limited to 'coq/x-symbol-coq.el')
0 files changed, 0 insertions, 0 deletions