aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* Fixed prompt regexp.Gravatar Pierre Courtieu2007-05-10
* Never use special chars with >= coq-8.1.Gravatar Pierre Courtieu2007-05-10
* Fixed coq prog persistent setting.Gravatar Pierre Courtieu2007-05-10
* Fixing auto shrink in coq three window mode, to avoid windowGravatar Pierre Courtieu2007-04-26
* Fixed the "Time Qed." mistreating (now recognized as a save commandGravatar Pierre Courtieu2007-04-26
* Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.MGravatar Pierre Courtieu2007-04-26
* Small fixes.Gravatar Pierre Courtieu2007-04-25
* small coloring fix.Gravatar Pierre Courtieu2007-04-23
* Fixed bug 111. Scroll response window to see goal and as muchGravatar Pierre Courtieu2007-04-23
* Fixing bug 110 for SearchRewrite en SearchAbout coq commends.Gravatar Pierre Courtieu2007-04-23
* Adapting last features to fsf emacs.Gravatar Pierre Courtieu2007-04-23
* Added things in CHANGES.Gravatar Pierre Courtieu2007-04-23
* Adapting error highlighting (coq) to x-symbol.Gravatar Pierre Courtieu2007-04-20
* Add a shrink adapting hook for coq response buffer.Gravatar Pierre Courtieu2007-04-20
* Adding comments to experimental response buffer height adapting.Gravatar Pierre Courtieu2007-04-18
* Experimental feature: in three buffer mode: shrink response window asGravatar Pierre Courtieu2007-04-16
* Small fixes from Stefan Monnier.Gravatar Pierre Courtieu2007-04-16
* Patch from Stefan Monnier.Gravatar Pierre Courtieu2007-04-16
* Adapted to hybrid response/goals outputs from coq. We need somethingGravatar Pierre Courtieu2007-04-16
* Made coq version 8.1 the default.Gravatar Pierre Courtieu2007-04-16
* Change in a regexp for coq-shell-prompt.Gravatar Pierre Courtieu2007-03-26
* *** empty log message ***Gravatar Pierre Courtieu2007-03-08
* Remove proof-indent-pad-eol atrocityGravatar David Aspinall2007-02-28
* Added some keywords ("Declare Module Import"...).Gravatar Pierre Courtieu2006-12-22
* Added completion to coq-prog-name asking.Gravatar Pierre Courtieu2006-12-13
* Fixed keyboard shortcuts.Gravatar Pierre Courtieu2006-12-12
* Fixed coq 8.0 compatibility and coq version detection.Gravatar Pierre Courtieu2006-12-12
* Error highlighting in coq only when scripting (not when sendingGravatar Pierre Courtieu2006-10-23
* Fix for coq-utf-safe.Gravatar Pierre Courtieu2006-10-06
* utf safe coq mode is not linked to proof-shell-unicode, as unicode isGravatar Pierre Courtieu2006-09-29
* adapting to proof-shell-unicode. Coq has not been adapted to theGravatar Pierre Courtieu2006-09-29
* Simplified prompt regexp for coq, preparing new prompt delimitersGravatar Pierre Courtieu2006-09-29
* fixed a bug with wakeup char for coq.Gravatar Pierre Courtieu2006-09-29
* Added \x6 as a possible wakeup char for coq. For the moment thisGravatar Pierre Courtieu2006-09-25
* typo in coq-indent.Gravatar Pierre Courtieu2006-09-15
* fixed a typo in last correction.Gravatar Pierre Courtieu2006-09-15
* fix a bug with error highlighting. Not sure it is ok but seems toGravatar Pierre Courtieu2006-09-14
* fixed a bug from Stefan Monnier.Gravatar Pierre Courtieu2006-09-14
* cleaning from Stefan Monnier.Gravatar Pierre Courtieu2006-09-13
* cleaning from Stefan Monnier.Gravatar Pierre Courtieu2006-09-13
* Fixed nested comment support for scripting, in xemacs (worked alreadyGravatar Pierre Courtieu2006-09-08
* Updated.Gravatar David Aspinall2006-09-07
* Updated CHANGES.Gravatar Pierre Courtieu2006-09-07
* Added Goal as a goal starter in syntax db.Gravatar Pierre Courtieu2006-09-07
* updating changes in coq/CHANGES.Gravatar Pierre Courtieu2006-09-06
* Making error highlighting more robust (for both emacsen) and use aGravatar Pierre Courtieu2006-09-06
* Error highliting in coq now worksGravatar Pierre Courtieu2006-09-05
* still experimenting error highlitingGravatar Pierre Courtieu2006-09-05
* Experimenting highlighting the error from coqtop errorGravatar Pierre Courtieu2006-09-05
* Trying to mae indentation aware of nested comments (to be simplifiedGravatar Pierre Courtieu2006-09-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 19:05:54 +0000