aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2007-12-10Updated.David Aspinall
2007-12-10New files.David Aspinall
2007-12-10Protect usage of list-fonts, unknown functionDavid Aspinall
2007-12-10Modify buffer-invisibility-spec to work smoothly with X-Symbol/EmacsDavid Aspinall
2007-12-10Enable invisible font lock property for Emacs now, reveal invisible seems to ...David Aspinall
2007-12-10GNU Emacs compat: buffer-substringDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 06:11:19 +0000