aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* fixed spelling;Gravatar Makarius Wenzel2007-11-18
* coq-user-reserved-db addedGravatar Assia Mahboubi2007-11-16
* test commit : added Structure to coq-defn-dbGravatar Assia Mahboubi2007-11-16
* Fix mail address/name for MakariusGravatar David Aspinall2007-11-15
* command 'thm' makes no sense outside a proper context;Gravatar Makarius Wenzel2007-11-13
* VersionsGravatar David Aspinall2007-11-12
* Set version tag for new release.Gravatar David Aspinall2007-11-12
* Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160Gravatar David Aspinall2007-11-12
* fixing small font-lock bug with ssreflect syntax.Gravatar Pierre Courtieu2007-11-08
* Debugging font-lock regexp.Gravatar Pierre Courtieu2007-11-07
* Menu are now correctly sorted.Gravatar Pierre Courtieu2007-11-07
* Debugging font-lock regexp.Gravatar Pierre Courtieu2007-11-07
* Debugging font-lock regexps. Bad order: longer regexp should be putGravatar Pierre Courtieu2007-11-07
* defconst proof-warning-face -- as expected by GNU Emacs;Gravatar Makarius Wenzel2007-11-04
* Fixed colorization bugs reported by Assai MAhboubi, this commit isGravatar Pierre Courtieu2007-10-30
* Fixed small colorizing bugs (when keywords contain sub words colorizedGravatar Pierre Courtieu2007-10-30
* Bug fixed. Reported by Assia Mahboubi.Gravatar Pierre Courtieu2007-10-30
* Fixed a bug on custom vars (bad :type) + Added a customizable user varGravatar Pierre Courtieu2007-10-29
* Simplify version editing to use DOWNLOADHTMLS and use %{version} in specGravatar David Aspinall2007-10-25
* Use %{version} tag in source file nameGravatar David Aspinall2007-10-25
* Set version tag for new release.Gravatar David Aspinall2007-10-25
* proof-shell-issue-pgip-cmd is always isabelle-process-pgip;Gravatar Makarius Wenzel2007-10-24
* removed obsolete isabelle-version-string, isa-version, isa-supports-pgip;Gravatar Makarius Wenzel2007-10-24
* isar-find-and-forget: no special treatment of begin/end, just plain undoGravatar Makarius Wenzel2007-10-18
* isar-undo-fail-regexp: only isar-keywords-control, not isar-keywords-theory-end;Gravatar Makarius Wenzel2007-10-18
* New files.Gravatar David Aspinall2007-09-17
* Set version tag for new release.Gravatar David Aspinall2007-09-10
* allow more specials: oct 327 .. oct 340;Gravatar Makarius Wenzel2007-09-07
* isar-output-font-lock-keywords-1: hilite markup uses proof-warning-face;Gravatar Makarius Wenzel2007-09-07
* Use button2 instead of button1 for pg-goals-button-actionGravatar David Aspinall2007-09-06
* proper use of ProofGeneral.sendback;Gravatar Makarius Wenzel2007-08-20
* Avoid compilation errorGravatar David Aspinall2007-08-19
* pg-topterm-char -> pg-topterm-regexpGravatar David Aspinall2007-08-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 03:12:05 +0000