aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Collapse)Author
2005-02-10Deleted compatibility for coq v6 and v7 + new backtracking system. ForPierre Courtieu
now it can be triggered only by using coq-version-is-v8-1.
2005-01-28Patch from Stefan Monnier:David Aspinall
The * of (* is not quoted in the font-lock keywords leading to the possibility of matching the empty string, which tends to put font-lock in an infinite loop. Actually I think the infinite looping is due to a local bug in my experimental Emacs code, but the \\ is needed in order to really match what was intended.
2004-09-14Add spaces after setting commands to separate. Temporarily disable ↵David Aspinall
print-only-first-subgoal.
2004-08-30debugged the indentation of coq (bug report of Batsiaan Zapf augustPierre Courtieu
3rd 2004). I found another bug (infinite loop due to an error in coq-back-to-indentation-prevline).
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-25 10:35:53 +0000