aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-syntax.el
AgeCommit message (Expand)Author
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2008-01-03Fixed abbrev installation. + small fixes.Pierre Courtieu
2007-12-14Fix compilation problems and rearrange startup settings for coq-prog-name,coq...David Aspinall
2007-12-14Attempt to fix compile problemsDavid Aspinall
2007-12-14coq-goal-command-str-p: Fix suspected typo shown up by compile warning.David Aspinall
2007-12-12Compatibility with coq trunk where some special symbols are removed.Pierre Courtieu
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-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-07-12Added new keywords.Pierre Courtieu
2007-05-25Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall.David Aspinall
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-23small coloring fix.Pierre Courtieu
2007-04-16Small fixes from Stefan Monnier.Pierre Courtieu
2007-04-16Made coq version 8.1 the default.Pierre Courtieu
2006-12-22Added some keywords ("Declare Module Import"...).Pierre Courtieu
2006-12-12Fixed coq 8.0 compatibility and coq version detection.Pierre Courtieu
2006-09-07Added Goal as a goal starter in syntax db.Pierre Courtieu
2006-09-04Trying to mae indentation aware of nested comments (to be simplifiedPierre Courtieu
2006-08-25fixes again in syntax databases.Pierre Courtieu
2006-08-25fix in syntax tables.Pierre Courtieu
2006-08-25Small fixes on syntax tables.Pierre Courtieu
2006-08-25Adding commentsPierre Courtieu
2006-08-25Small fixes.Pierre Courtieu
2006-08-25Changed default coq version (8.1)Pierre Courtieu
2006-08-25added a CHANGES file for coq directoryPierre Courtieu
2006-08-25Fixed a small bug in indentation of coq.Pierre Courtieu
2006-08-24fixing a bug introduced lately (coq-save-command-p *needs* two argsPierre Courtieu
2006-08-23Fixed indentation and font-lock for coq. Better, faster.Pierre Courtieu
2006-08-23Coq indentation small fixes.Pierre Courtieu
2006-08-23Cleaning in coq and lib, fixed licenses and docstrings.Pierre Courtieu
2006-08-22Making non recursive functions to make fsf emacs happy, not yet finished.Pierre Courtieu
2006-08-22Big redesign of the coq syntax defintion, centralization in big tablesPierre Courtieu
2006-08-21Menus redesign, new interactive tactics/commands/termsPierre Courtieu
2006-08-21Started the coq-insert-tactic.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 02:04:10 +0000