aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* 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
* added an example fils for coq x-symbols.Gravatar Pierre Courtieu2004-04-16
* New files.Gravatar David Aspinall2004-04-16
* Updated.Gravatar David Aspinall2004-04-15
* Fix typo.Gravatar David Aspinall2004-04-15
* commented the new tarski example for coq.Gravatar Pierre Courtieu2004-04-15
* added Knaster - Tarski theorem.Gravatar Pierre Courtieu2004-04-15
* added some tactical names for coq.Gravatar Pierre Courtieu2004-04-15
* Add doc for x-symbolsGravatar David Aspinall2004-04-15
* little change in CHANGES and in coq syntax table.Gravatar Pierre Courtieu2004-04-15
* Cleanup file by removing some unnecessary settings (I hope)Gravatar David Aspinall2004-04-14
* Deleted fileGravatar David Aspinall2004-04-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 09:27:40 +0000