aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Collapse)Author
2004-08-25More proofgeneral.org removalsDavid Aspinall
2004-07-23Fixed Coq version detection at start.Pierre Courtieu
2004-05-11adding the "Comments" keyword in state-preserving commands.Pierre Courtieu
2004-05-09Set comment-quote-nested (for Emacs/XEmacs 21.5)David Aspinall
2004-05-07added "User error" to error message (had already "User Error").Pierre Courtieu
2004-05-07Updated.David Aspinall
2004-05-07New files.David Aspinall
2004-05-06bug fix with terminal regexp (pb with :"unfold foo in |- *.")Pierre Courtieu
2004-04-23fixed the need input_spec warning.Pierre Courtieu
2004-04-23Adjust attempt at multiple file handling. Run make instead of coqc if find ↵David Aspinall
a makefile. Begin handling requires.
2004-04-23Updated.David Aspinall
2004-04-23modified the syntax for subscript in coq/pgPierre Courtieu
2004-04-23deleted coq x symbols doc in CHANGES.Pierre Courtieu
2004-04-22Tidy menus, add new commandsDavid Aspinall
2004-04-22Add extra user options, extra commands, start of new attempt at multiple file.David Aspinall
2004-04-22Update to Coq 8.0 syntaxDavid Aspinall
2004-04-21Updated.David Aspinall
2004-04-21Fix home page address, mention new menu option.David Aspinall
2004-04-21Update for V8 syntax.David Aspinall
2004-04-21Updated.David Aspinall
2004-04-21Deleted the "3 buffers view menu entry" for coq, this is now aPierre Courtieu
proofgeneral menu entry (bug of the 3.5 release).
2004-04-17Updated.David Aspinall
2004-04-17Compiler warningsDavid Aspinall
2004-04-16little fix for x-symbols coq.Pierre Courtieu
2004-04-16modified the noteq token (become '<>' ).Pierre Courtieu
2004-04-16added an example fils for coq x-symbols.Pierre Courtieu
2004-04-16New files.David Aspinall
2004-04-15Updated.David Aspinall
2004-04-15Fix typo.David Aspinall
2004-04-15commented the new tarski example for coq.Pierre Courtieu
2004-04-15added Knaster - Tarski theorem.Pierre Courtieu
2004-04-15added some tactical names for coq.Pierre Courtieu
2004-04-15Add doc for x-symbolsDavid Aspinall
2004-04-15little change in CHANGES and in coq syntax table.Pierre Courtieu
2004-04-14Cleanup file by removing some unnecessary settings (I hope)David Aspinall
2004-04-14Deleted fileDavid Aspinall
2004-04-14Updated.David Aspinall
2004-04-14added basic support for imenu for coq.Pierre Courtieu
2004-04-14added the "return" keyword to coqPierre Courtieu
2004-04-06added some commands in coq menuPierre Courtieu
2004-04-06fixed coq xsymb table.Pierre Courtieu
2004-04-05Fixed coq x-symbols. now alphaa is not encoded, aalpha is not encoded,Pierre Courtieu
but alpha_, _alpha and _alpha_ are decoded.
2004-04-02Use official indentation\!David Aspinall
2004-04-02Remove three-buffer stuff (made generic)David Aspinall
2004-04-01changed ths syntax for sub/superscript:Pierre Courtieu
- __ makes the following word (if immediately after __) subscript - ^^ makes the following word (if immediately after ^^) superscript - __{...} makes ... subscript - ^^{...} makes ... superscript
2004-03-31added subscript in x-symbols-coq.el.Pierre Courtieu
2004-03-30debugging coq-x-symbols.elPierre Courtieu
2004-03-30added the forall x-symbol to the indent keywords lists.Pierre Courtieu
2004-03-30Trying to put x-symbols for coq. By copyingPierre Courtieu
x-symbol-isabelle.el. Seems to work.
2004-03-29*** empty log message ***Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-09 07:25:48 +0000