diff options
| author | Pierre Courtieu | 2006-09-06 10:38:37 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-06 10:38:37 +0000 |
| commit | 6d73195f7b3e976f2df62d13f029f55558cde5fd (patch) | |
| tree | acdfc2a276a3fa702bbae11d3ffb7c8cbce56598 /coq | |
| parent | cef854b93888b79d08b0410cc0600b53c9790d28 (diff) | |
updating changes in coq/CHANGES.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/CHANGES | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/coq/CHANGES b/coq/CHANGES index bba27166..83a21b97 100644 --- a/coq/CHANGES +++ b/coq/CHANGES @@ -34,7 +34,8 @@ *** Much better indentation - Faster. + More robust. nested comments are OK even in xemacs. Still a bit + slow on big files. indent-region won't touch comments, but indenting comments with tab (indent-according-to-mode) will. @@ -56,7 +57,13 @@ *** automatic insertion of "match...with" for a given type - This coqide great feature has been added + This coqide great feature has been added. + +*** error highlighting + + When scripting, error with location information are parsed and the + corresponding part of the scripting buffer is highlighted. Also + inpsired from coqide. *** new "queries" menu |