aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2007-12-10Fix parensDavid Aspinall
2007-12-10Emacs compatibility/API updates: string-to-int -> string-to-numberDavid Aspinall
2007-12-10GNU Emacs: delete-backward-char needs an argumentDavid Aspinall
2007-12-10GNU Emacs: insert-string -> insertDavid Aspinall
2007-12-10Fix compile errorsDavid Aspinall
2007-12-10proof-x-symbol-initialize: fix default mode name constructionDavid Aspinall
2007-12-10proof-general-version-year: updateDavid Aspinall
2007-12-10Fix string quotingDavid Aspinall
2007-12-10texi-docstring-magic-insert-magic: fix for GNU Emacs name: function-called-at...David Aspinall
2007-12-10span-give-warning: consistency with span-overlay.elDavid Aspinall
2007-12-10Fix use of erase-buffer for GNU EmacsDavid Aspinall
2007-12-10Comments.David Aspinall
2007-12-10Fix some compile warnings: use of error, customization groupsDavid Aspinall
2007-12-10Updated.David Aspinall
2007-12-10Set version tag for new release.David Aspinall
2007-12-10Shorten tooltipDavid Aspinall
2007-12-09Fixup some compile warningsDavid Aspinall
2007-12-09Fix typo.David Aspinall
2007-12-09New files.David Aspinall
2007-12-09Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts to...David Aspinall
2007-12-09Update bug report locationsDavid Aspinall
2007-12-09Nuke some compile warningsDavid Aspinall
2007-12-09Updated.David Aspinall
2007-12-09Fix walkthrough to match Isabelle 2007David Aspinall
2007-12-09Comments.David Aspinall
2007-12-09More dirs for TAGSDavid Aspinall
2007-12-09Comment unused functionDavid Aspinall
2007-12-09Patch for buggy derived.el in XEmacs 21.5.b28David Aspinall
2007-12-09Extra first section on installationDavid Aspinall
2007-12-09Comments.David Aspinall
2007-12-08New files.David Aspinall
2007-12-08Anticipate future versions have same API, not just 21.5.b28David Aspinall
2007-12-08Fix for XEmacs 21.5 beta28David 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-20clarify that -U now defaults to true;Makarius Wenzel
2007-11-20adding coq-solve tacticsAssia Mahboubi
2007-11-18fixed spelling;Makarius Wenzel
2007-11-16coq-user-reserved-db addedAssia Mahboubi
2007-11-16test commit : added Structure to coq-defn-dbAssia Mahboubi
2007-11-15Fix mail address/name for MakariusDavid Aspinall
2007-11-13command 'thm' makes no sense outside a proper context;Makarius Wenzel
2007-11-12VersionsDavid Aspinall
2007-11-12Set version tag for new release.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 01:57:12 +0000