aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Expand)Author
2007-12-09Fixup some compile warningsDavid Aspinall
2007-12-07Print Coercions added to coq-syntaxAssia Mahboubi
2007-12-05Corollary added to Coq startersAssia Mahboubi
2007-11-30coq solve tacs modifiedAssia Mahboubi
2007-11-26colouring for Reserved NotationsAssia Mahboubi
2007-11-20removed 'by'form coq-reserved and added it to coq-solve-tacticsAssia Mahboubi
2007-11-20adding coq-solve tacticsAssia Mahboubi
2007-11-16coq-user-reserved-db addedAssia Mahboubi
2007-11-16test commit : added Structure to coq-defn-dbAssia Mahboubi
2007-11-12Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160David Aspinall
2007-11-08fixing small font-lock bug with ssreflect syntax.Pierre Courtieu
2007-11-07Debugging font-lock regexp.Pierre Courtieu
2007-11-07Menu are now correctly sorted.Pierre Courtieu
2007-11-07Debugging font-lock regexp.Pierre Courtieu
2007-11-07Debugging font-lock regexps. Bad order: longer regexp should be putPierre Courtieu
2007-10-30Fixed colorization bugs reported by Assai MAhboubi, this commit isPierre Courtieu
2007-10-30Fixed small colorizing bugs (when keywords contain sub words colorizedPierre Courtieu
2007-10-30Bug fixed. Reported by Assia Mahboubi.Pierre Courtieu
2007-10-29Fixed a bug on custom vars (bad :type) + Added a customizable user varPierre Courtieu
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2007-07-12Added new keywords.Pierre Courtieu
2007-05-25Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall.David Aspinall
2007-05-10Fixed prompt regexp.Pierre Courtieu
2007-05-10Never use special chars with >= coq-8.1.Pierre Courtieu
2007-05-10Fixed coq prog persistent setting.Pierre Courtieu
2007-04-26Fixing auto shrink in coq three window mode, to avoid windowPierre Courtieu
2007-04-26Fixed the "Time Qed." mistreating (now recognized as a save commandPierre Courtieu
2007-04-26Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.MPierre Courtieu
2007-04-25Small fixes.Pierre Courtieu
2007-04-23small coloring fix.Pierre Courtieu
2007-04-23Fixed bug 111. Scroll response window to see goal and as muchPierre Courtieu
2007-04-23Fixing bug 110 for SearchRewrite en SearchAbout coq commends.Pierre Courtieu
2007-04-23Adapting last features to fsf emacs.Pierre Courtieu
2007-04-23Added things in CHANGES.Pierre Courtieu
2007-04-20Adapting error highlighting (coq) to x-symbol.Pierre Courtieu
2007-04-20Add a shrink adapting hook for coq response buffer.Pierre Courtieu
2007-04-18Adding comments to experimental response buffer height adapting.Pierre Courtieu
2007-04-16Experimental feature: in three buffer mode: shrink response window asPierre Courtieu
2007-04-16Small fixes from Stefan Monnier.Pierre Courtieu
2007-04-16Patch from Stefan Monnier.Pierre Courtieu
2007-04-16Adapted to hybrid response/goals outputs from coq. We need somethingPierre Courtieu
2007-04-16Made coq version 8.1 the default.Pierre Courtieu
2007-03-26Change in a regexp for coq-shell-prompt.Pierre Courtieu
2007-03-08*** empty log message ***Pierre Courtieu
2007-02-28Remove proof-indent-pad-eol atrocityDavid Aspinall
2006-12-22Added some keywords ("Declare Module Import"...).Pierre Courtieu
2006-12-13Added completion to coq-prog-name asking.Pierre Courtieu
2006-12-12Fixed keyboard shortcuts.Pierre Courtieu
2006-12-12Fixed coq 8.0 compatibility and coq version detection.Pierre Courtieu
2006-10-23Error highlighting in coq only when scripting (not when sendingPierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:32:09 +0000