aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* New files.Gravatar David Aspinall2007-12-11
* CleanupGravatar David Aspinall2007-12-10
* Comments.Gravatar David Aspinall2007-12-10
* Comments.Gravatar David Aspinall2007-12-10
* Updated.Gravatar David Aspinall2007-12-10
* New files.Gravatar David Aspinall2007-12-10
* Protect usage of list-fonts, unknown functionGravatar David Aspinall2007-12-10
* Modify buffer-invisibility-spec to work smoothly with X-Symbol/EmacsGravatar David Aspinall2007-12-10
* Enable invisible font lock property for Emacs now, reveal invisible seems to ...Gravatar David Aspinall2007-12-10
* GNU Emacs compat: buffer-substringGravatar David Aspinall2007-12-10
* Fix parensGravatar David Aspinall2007-12-10
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
* GNU Emacs: delete-backward-char needs an argumentGravatar David Aspinall2007-12-10
* GNU Emacs: insert-string -> insertGravatar David Aspinall2007-12-10
* Fix compile errorsGravatar David Aspinall2007-12-10
* proof-x-symbol-initialize: fix default mode name constructionGravatar David Aspinall2007-12-10
* proof-general-version-year: updateGravatar David Aspinall2007-12-10
* Fix string quotingGravatar David Aspinall2007-12-10
* texi-docstring-magic-insert-magic: fix for GNU Emacs name: function-called-at...Gravatar David Aspinall2007-12-10
* span-give-warning: consistency with span-overlay.elGravatar David Aspinall2007-12-10
* Fix use of erase-buffer for GNU EmacsGravatar David Aspinall2007-12-10
* Comments.Gravatar David Aspinall2007-12-10
* Fix some compile warnings: use of error, customization groupsGravatar David Aspinall2007-12-10
* Updated.Gravatar David Aspinall2007-12-10
* Set version tag for new release.Gravatar David Aspinall2007-12-10
* Shorten tooltipGravatar David Aspinall2007-12-10
* Fixup some compile warningsGravatar David Aspinall2007-12-09
* Fix typo.Gravatar David Aspinall2007-12-09
* New files.Gravatar David Aspinall2007-12-09
* Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts to...Gravatar David Aspinall2007-12-09
* Update bug report locationsGravatar David Aspinall2007-12-09
* Nuke some compile warningsGravatar David Aspinall2007-12-09
* Updated.Gravatar David Aspinall2007-12-09
* Fix walkthrough to match Isabelle 2007Gravatar David Aspinall2007-12-09
* Comments.Gravatar David Aspinall2007-12-09
* More dirs for TAGSGravatar David Aspinall2007-12-09
* Comment unused functionGravatar David Aspinall2007-12-09
* Patch for buggy derived.el in XEmacs 21.5.b28Gravatar David Aspinall2007-12-09
* Extra first section on installationGravatar David Aspinall2007-12-09
* Comments.Gravatar David Aspinall2007-12-09
* New files.Gravatar David Aspinall2007-12-08
* Anticipate future versions have same API, not just 21.5.b28Gravatar David Aspinall2007-12-08
* Fix for XEmacs 21.5 beta28Gravatar David Aspinall2007-12-08
* Print Coercions added to coq-syntaxGravatar Assia Mahboubi2007-12-07
* Corollary added to Coq startersGravatar Assia Mahboubi2007-12-05
* coq solve tacs modifiedGravatar Assia Mahboubi2007-11-30
* colouring for Reserved NotationsGravatar Assia Mahboubi2007-11-26
* removed 'by'form coq-reserved and added it to coq-solve-tacticsGravatar Assia Mahboubi2007-11-20
* clarify that -U now defaults to true;Gravatar Makarius Wenzel2007-11-20
* adding coq-solve tacticsGravatar Assia Mahboubi2007-11-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 00:09:33 +0000