aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* 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
* Added entries in coq menu, rearranged coq menu.Gravatar Pierre Courtieu2006-08-16
* fixed a bug with scripting with coq v8.0.Gravatar Pierre Courtieu2006-07-20
* removed debug messages from indentation code.Gravatar Pierre Courtieu2006-07-04
* fix the bug for coq indetation of two consecutive comments. Code isGravatar Pierre Courtieu2006-07-04
* fix a bug in coq indentation (loop). seems to be fixed. I still have aGravatar Pierre Courtieu2006-07-04
* moving coq-goal-command-p to indetation code, as from v8.1, goals areGravatar Pierre Courtieu2006-07-04
* section backtracking bug fixed.Gravatar Pierre Courtieu2006-06-13
* Fix to work with coq 8.1 again (havent tested 8.0)Gravatar David Aspinall2006-05-26
* Remove debugsGravatar David Aspinall2006-05-26
* Changed the type of proof-goal-command-p. It takes now a span, whichGravatar Pierre Courtieu2006-04-26
* made coq error regexp more preciseGravatar Pierre Courtieu2006-02-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 16:48:41 +0000