aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
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-11-04defconst proof-warning-face -- as expected by GNU Emacs;Makarius Wenzel
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-10-25Simplify version editing to use DOWNLOADHTMLS and use %{version} in specDavid Aspinall
2007-10-25Use %{version} tag in source file nameDavid Aspinall
2007-10-25Set version tag for new release.David Aspinall
2007-10-24proof-shell-issue-pgip-cmd is always isabelle-process-pgip;Makarius Wenzel
2007-10-24removed obsolete isabelle-version-string, isa-version, isa-supports-pgip;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:00:46 +0000