aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* made coq error regexp more preciseGravatar Pierre Courtieu2006-02-16
* CommentsGravatar David Aspinall2006-02-14
* Add example settings for coq-prog-args and coq-prog-envGravatar David Aspinall2006-02-14
* Cleanup version testing, prevent crash in case version string doesn't match.Gravatar David Aspinall2006-02-09
* typo in coq.el for regexp of sections.Gravatar Pierre Courtieu2006-01-28
* added some keyword to coq tacics.Gravatar Pierre Courtieu2005-11-28
* Added Module/EndGravatar David Aspinall2005-11-25
* Fix Pierre's emailGravatar David Aspinall2005-11-25
* Added holes to "math...with" generation from a type name.Gravatar Pierre Courtieu2005-11-09
* added match...with automatic building from atype name.Gravatar Pierre Courtieu2005-11-07
* Add more user preferences, fix existing ones.Gravatar David Aspinall2005-09-30
* Documentation.Gravatar David Aspinall2005-05-17
* added some entris in coq menus.Gravatar Pierre Courtieu2005-04-21
* cleaned a bit coq.el (checkdoc). Put some comments to tell what is toGravatar Pierre Courtieu2005-04-20
* New backtracking system for coq continues, this time it uses a new CoqGravatar Pierre Courtieu2005-04-20
* small modifications, updating doc string of holes.el.Gravatar Pierre Courtieu2005-03-08
* making holes.el cleaner, with the help of Stefan Monnier. I had toGravatar Pierre Courtieu2005-03-08
* Updated the doc for new pg/coq. Made modifications advised by StefanGravatar Pierre Courtieu2005-02-17
* Finished making holes.el a real minor-mode. There is a new fileGravatar Pierre Courtieu2005-02-15
* cleaning holes.el. All functions are prefixed with "holes-". AlsoGravatar Pierre Courtieu2005-02-14
* Added simple testing framework (in progress)Gravatar David Aspinall2005-02-13
* Deleted compatibility for coq v6 and v7 + new backtracking system. ForGravatar Pierre Courtieu2005-02-10
* Patch from Stefan Monnier:Gravatar David Aspinall2005-01-28
* Add spaces after setting commands to separate. Temporarily disable print-onl...Gravatar David Aspinall2004-09-14
* debugged the indentation of coq (bug report of Batsiaan Zapf augustGravatar Pierre Courtieu2004-08-30
* More proofgeneral.org removalsGravatar David Aspinall2004-08-25
* Fixed Coq version detection at start.Gravatar Pierre Courtieu2004-07-23
* adding the "Comments" keyword in state-preserving commands.Gravatar Pierre Courtieu2004-05-11
* Set comment-quote-nested (for Emacs/XEmacs 21.5)Gravatar David Aspinall2004-05-09
* added "User error" to error message (had already "User Error").Gravatar Pierre Courtieu2004-05-07
* Updated.Gravatar David Aspinall2004-05-07
* New files.Gravatar David Aspinall2004-05-07
* bug fix with terminal regexp (pb with :"unfold foo in |- *.")Gravatar Pierre Courtieu2004-05-06
* fixed the need input_spec warning.Gravatar Pierre Courtieu2004-04-23
* Adjust attempt at multiple file handling. Run make instead of coqc if find a...Gravatar David Aspinall2004-04-23
* Updated.Gravatar David Aspinall2004-04-23
* modified the syntax for subscript in coq/pgGravatar Pierre Courtieu2004-04-23
* deleted coq x symbols doc in CHANGES.Gravatar Pierre Courtieu2004-04-23
* Tidy menus, add new commandsGravatar David Aspinall2004-04-22
* Add extra user options, extra commands, start of new attempt at multiple file.Gravatar David Aspinall2004-04-22
* Update to Coq 8.0 syntaxGravatar David Aspinall2004-04-22
* Updated.Gravatar David Aspinall2004-04-21
* Fix home page address, mention new menu option.Gravatar David Aspinall2004-04-21
* Update for V8 syntax.Gravatar David Aspinall2004-04-21
* Updated.Gravatar David Aspinall2004-04-21
* Deleted the "3 buffers view menu entry" for coq, this is now aGravatar Pierre Courtieu2004-04-21
* Updated.Gravatar David Aspinall2004-04-17
* Compiler warningsGravatar David Aspinall2004-04-17
* little fix for x-symbols coq.Gravatar Pierre Courtieu2004-04-16
* modified the noteq token (become '<>' ).Gravatar Pierre Courtieu2004-04-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-05 08:29:54 +0000