aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* 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
* fixes again in syntax databases.Gravatar Pierre Courtieu2006-08-25
* fix in syntax tables.Gravatar Pierre Courtieu2006-08-25
* Small fixes on syntax tables.Gravatar Pierre Courtieu2006-08-25
* Adding commentsGravatar Pierre Courtieu2006-08-25
* fix coq/CHANGESGravatar Pierre Courtieu2006-08-25
* Small fixes.Gravatar Pierre Courtieu2006-08-25
* Changed default coq version (8.1)Gravatar Pierre Courtieu2006-08-25
* added a CHANGES file for coq directoryGravatar Pierre Courtieu2006-08-25
* Fixed a small bug in indentation of coq.Gravatar Pierre Courtieu2006-08-25
* Changed state-preserving check for coq.Gravatar Pierre Courtieu2006-08-24
* changed coq bqcktracking to avoid doing backtrack x y z when x y and zGravatar Pierre Courtieu2006-08-24
* fixing a bug introduced lately (coq-save-command-p *needs* two argsGravatar Pierre Courtieu2006-08-24
* Fixed indentation and font-lock for coq. Better, faster.Gravatar Pierre Courtieu2006-08-23
* Coq indentation small fixes.Gravatar Pierre Courtieu2006-08-23
* fsf emacs compatibilty for symbol-at-point.Gravatar Pierre Courtieu2006-08-23
* Cleaning in coq and lib, fixed licenses and docstrings.Gravatar Pierre Courtieu2006-08-23
* Finished making functions over big tables non recursive. Works withGravatar Pierre Courtieu2006-08-23
* Making non recursive functions to make fsf emacs happy, not yet finished.Gravatar Pierre Courtieu2006-08-22
* Big redesign of the coq syntax defintion, centralization in big tablesGravatar Pierre Courtieu2006-08-22
* Menus redesign, new interactive tactics/commands/termsGravatar Pierre Courtieu2006-08-21
* Started the coq-insert-tactic.Gravatar Pierre Courtieu2006-08-21
* Moved the coq local variables tools in a separate file and made itGravatar Pierre Courtieu2006-08-17
* continue on the support for local variables list semi-automaticGravatar Pierre Courtieu2006-08-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 21:27:33 +0000