aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2006-09-22
* Packaging fixes: put isar/interface in right place; install examples and doc ...Gravatar David Aspinall2006-09-22
* Updated.Gravatar David Aspinall2006-09-22
* Deleted fileGravatar David Aspinall2006-09-22
* 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
* Updated.Gravatar David Aspinall2006-09-12
* Set version tag for new release.Gravatar David Aspinall2006-09-12
* Set version tag for new release.Gravatar David Aspinall2006-09-09
* Fixed nested comment support for scripting, in xemacs (worked alreadyGravatar Pierre Courtieu2006-09-08
* Set version tag for new release.Gravatar David Aspinall2006-09-07
* Updated.Gravatar David Aspinall2006-09-07
* update CHANGES.Gravatar Pierre Courtieu2006-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
* Cleanup makefilesGravatar David Aspinall2006-08-28
* Cleanup makefilesGravatar David Aspinall2006-08-28
* Cleanup makefilesGravatar David Aspinall2006-08-28
* Deleted fileGravatar David Aspinall2006-08-28
* Set version tag for new release.Gravatar David Aspinall2006-08-28
* 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
* Mention Emacs menu for debug boxesGravatar David Aspinall2006-08-23
* sit-for is indeed in subr.el, must be careful to load rightGravatar David Aspinall2006-08-23
* Compatibility for GNU Emacs CVS losing sit-forGravatar David Aspinall2006-08-23
* Tweak to FAQ#1Gravatar David Aspinall2006-08-23
* Syntax strictitudeGravatar David Aspinall2006-08-23
* Coq indentation small fixes.Gravatar Pierre Courtieu2006-08-23
* fsf emacs compatibilty for symbol-at-point.Gravatar Pierre Courtieu2006-08-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 16:10:02 +0000