aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Expand)Author
2005-09-30Add more user preferences, fix existing ones.David Aspinall
2005-05-17Documentation.David Aspinall
2005-04-21added some entris in coq menus.Pierre Courtieu
2005-04-20cleaned a bit coq.el (checkdoc). Put some comments to tell what is toPierre Courtieu
2005-04-20New backtracking system for coq continues, this time it uses a new CoqPierre Courtieu
2005-03-08small modifications, updating doc string of holes.el.Pierre Courtieu
2005-03-08making holes.el cleaner, with the help of Stefan Monnier. I had toPierre Courtieu
2005-02-17Updated the doc for new pg/coq. Made modifications advised by StefanPierre Courtieu
2005-02-15Finished making holes.el a real minor-mode. There is a new filePierre Courtieu
2005-02-14cleaning holes.el. All functions are prefixed with "holes-". AlsoPierre Courtieu
2005-02-13Added simple testing framework (in progress)David Aspinall
2005-02-10Deleted compatibility for coq v6 and v7 + new backtracking system. ForPierre Courtieu
2005-01-28Patch from Stefan Monnier:David Aspinall
2004-09-14Add spaces after setting commands to separate. Temporarily disable print-onl...David Aspinall
2004-08-30debugged the indentation of coq (bug report of Batsiaan Zapf augustPierre Courtieu
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 a...David Aspinall
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 05:28:42 +0000