aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* 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
* Updated.Gravatar David Aspinall2004-04-14
* added basic support for imenu for coq.Gravatar Pierre Courtieu2004-04-14
* added the "return" keyword to coqGravatar Pierre Courtieu2004-04-14
* added some commands in coq menuGravatar Pierre Courtieu2004-04-06
* fixed coq xsymb table.Gravatar Pierre Courtieu2004-04-06
* Fixed coq x-symbols. now alphaa is not encoded, aalpha is not encoded,Gravatar Pierre Courtieu2004-04-05
* Use official indentation\!Gravatar David Aspinall2004-04-02
* Remove three-buffer stuff (made generic)Gravatar David Aspinall2004-04-02
* changed ths syntax for sub/superscript:Gravatar Pierre Courtieu2004-04-01
* added subscript in x-symbols-coq.el.Gravatar Pierre Courtieu2004-03-31
* debugging coq-x-symbols.elGravatar Pierre Courtieu2004-03-30
* added the forall x-symbol to the indent keywords lists.Gravatar Pierre Courtieu2004-03-30
* Trying to put x-symbols for coq. By copyingGravatar Pierre Courtieu2004-03-30
* *** empty log message ***Gravatar Pierre Courtieu2004-03-29
* V8/V7 reserved keywords for coqGravatar Pierre Courtieu2004-03-29
* coq < 8.0 menu and abbrevs.Gravatar Pierre Courtieu2004-03-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-24 21:46:27 +0000