Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Simplified prompt regexp for coq, preparing new prompt delimiters | 2006-09-29 | ||
| | | | | <prompt> and </prompt>. | |||
* | fixed a bug with wakeup char for coq. | 2006-09-29 | ||
| | ||||
* | Added \x6 as a possible wakeup char for coq. For the moment this | 2006-09-25 | ||
| | | | | | special char is used when the -emacs-U is used (with or instead of -emacs) in cvs version of coq of today 25/9/2006. | |||
* | Set version tag for new release. | 2006-09-24 | ||
| | ||||
* | Tweaks to buffer history mode. Still intermediate version. | 2006-09-24 | ||
| | ||||
* | Deleted file | 2006-09-24 | ||
| | ||||
* | Add buffer history browsing | 2006-09-24 | ||
| | ||||
* | Fix typo. | 2006-09-22 | ||
| | ||||
* | Cut comint input ring, minor efficiency tweak. | 2006-09-22 | ||
| | ||||
* | Updated. | 2006-09-22 | ||
| | ||||
* | Tweak. | 2006-09-22 | ||
| | ||||
* | Fix typo. | 2006-09-22 | ||
| | ||||
* | Comments. | 2006-09-22 | ||
| | ||||
* | Add workaround for GNU Emacs problems in easymenu-add. | 2006-09-22 | ||
| | ||||
* | Update to 0.4.8 from sourceforge. | 2006-09-22 | ||
| | ||||
* | Set version tag for new release. | 2006-09-22 | ||
| | ||||
* | Packaging fixes: put isar/interface in right place; install examples and doc ↵ | 2006-09-22 | ||
| | | | | files from Makefile. | |||
* | Updated. | 2006-09-22 | ||
| | ||||
* | Deleted file | 2006-09-22 | ||
| | ||||
* | typo in coq-indent. | 2006-09-15 | ||
| | ||||
* | fixed a typo in last correction. | 2006-09-15 | ||
| | ||||
* | fix a bug with error highlighting. Not sure it is ok but seems to | 2006-09-14 | ||
| | | | | work. | |||
* | fixed a bug from Stefan Monnier. | 2006-09-14 | ||
| | ||||
* | cleaning from Stefan Monnier. | 2006-09-13 | ||
| | ||||
* | cleaning from Stefan Monnier. | 2006-09-13 | ||
| | ||||
* | Updated. | 2006-09-12 | ||
| | ||||
* | Set version tag for new release. | 2006-09-12 | ||
| | ||||
* | Set version tag for new release. | 2006-09-09 | ||
| | ||||
* | Fixed nested comment support for scripting, in xemacs (worked already | 2006-09-08 | ||
| | | | | on GNU Emacs). Instanciated proof-parse-function for that... | |||
* | Set version tag for new release. | 2006-09-07 | ||
| | ||||
* | Updated. | 2006-09-07 | ||
| | ||||
* | update CHANGES. | 2006-09-07 | ||
| | ||||
* | Updated CHANGES. | 2006-09-07 | ||
| | ||||
* | Added Goal as a goal starter in syntax db. | 2006-09-07 | ||
| | ||||
* | updating changes in coq/CHANGES. | 2006-09-06 | ||
| | ||||
* | Making error highlighting more robust (for both emacsen) and use a | 2006-09-06 | ||
| | | | | span instead of region. | |||
* | Error highliting in coq now works | 2006-09-05 | ||
| | ||||
* | still experimenting error highliting | 2006-09-05 | ||
| | ||||
* | Experimenting highlighting the error from coqtop error | 2006-09-05 | ||
| | | | | | message. Function work but proof-shell-handle-error-or-interrupt-hook does not allow to activate the region... | |||
* | Trying to mae indentation aware of nested comments (to be simplified | 2006-09-04 | ||
| | | | | | when xemacs will deal with nested comments). Seems to work, a bit slow. | |||
* | Cleanup makefiles | 2006-08-28 | ||
| | ||||
* | Cleanup makefiles | 2006-08-28 | ||
| | ||||
* | Cleanup makefiles | 2006-08-28 | ||
| | ||||
* | Deleted file | 2006-08-28 | ||
| | ||||
* | Set version tag for new release. | 2006-08-28 | ||
| | ||||
* | fixes again in syntax databases. | 2006-08-25 | ||
| | ||||
* | fix in syntax tables. | 2006-08-25 | ||
| | ||||
* | Small fixes on syntax tables. | 2006-08-25 | ||
| | ||||
* | Adding comments | 2006-08-25 | ||
| | ||||
* | fix coq/CHANGES | 2006-08-25 | ||
| |