aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Updated compatibilityGravatar David Aspinall2010-12-10
* Set version tag for new release.Gravatar David Aspinall2010-12-10
* Update dateGravatar David Aspinall2010-12-10
* Add note about short listGravatar David Aspinall2010-12-10
* some attempts to indent 'notepad' 'begin' ... 'end' like a proof body;Gravatar Makarius Wenzel2010-12-08
* Fix compile problem with smie code on Emacs <=23.3Gravatar David Aspinall2010-11-25
* Set version tag for new release.Gravatar David Aspinall2010-11-25
* Summary: New indentation code using SMIEGravatar Stefan Monnier2010-11-15
* Address http://proofgeneral.inf.ed.ac.uk/trac/ticket/379Gravatar David Aspinall2010-11-09
* Updated.Gravatar David Aspinall2010-11-03
* Set version tag for new release.Gravatar David Aspinall2010-11-03
* Fixed a bug with utf8 error highlighting in coq 8.3 (bugs with 8.2Gravatar Pierre Courtieu2010-10-22
* Update for config changes.Gravatar David Aspinall2010-10-13
* proof-debug: fiddle with warning levels to make *PG Debug* buffer appear, set...Gravatar David Aspinall2010-10-11
* proof-segment-up-to-using-cache: improve attemptGravatar David Aspinall2010-10-11
* Set version tag for new release.Gravatar David Aspinall2010-10-11
* proof-use-parser-cache=t defaultGravatar David Aspinall2010-10-11
* WhitespaceGravatar David Aspinall2010-10-11
* Use parser cache by default.Gravatar David Aspinall2010-10-11
* Add Adam Megacz to creditsGravatar David Aspinall2010-10-11
* UpdatedGravatar David Aspinall2010-10-11
* Set version tag for new release.Gravatar David Aspinall2010-10-11
* CleanupGravatar David Aspinall2010-10-11
* isar-set-undo-commands: prevent opening new script files calling proof-deacti...Gravatar David Aspinall2010-10-11
* unicode-tokens-enable: turn on by default in IsabelleGravatar David Aspinall2010-10-11
* Fix transparency for PNGsGravatar David Aspinall2010-10-11
* DefunctGravatar David Aspinall2010-10-11
* Cleanups.Gravatar David Aspinall2010-10-10
* Set version tag for new release.Gravatar David Aspinall2010-10-10
* Update authors list (should have been in PG 4.0)Gravatar David Aspinall2010-10-10
* Update to 4.1preGravatar David Aspinall2010-10-10
* Set version tag for new release.Gravatar David Aspinall2010-10-10
* Unify version number for new releaseGravatar David Aspinall2010-10-10
* clean: clean profile and test outputGravatar David Aspinall2010-10-10
* Add a master debug flag, and disable debug output ordinarily.Gravatar David Aspinall2010-10-10
* Fix debug message formatGravatar David Aspinall2010-10-10
* UpdatedGravatar David Aspinall2010-10-10
* Update magicGravatar David Aspinall2010-10-10
* Update documenation of mouse bindings.Gravatar David Aspinall2010-10-10
* Reenable LEGO since it's included in docs (needed for make magic)Gravatar David Aspinall2010-10-10
* Disable lego and hol-light by defaultGravatar David Aspinall2010-10-10
* UpdatedGravatar David Aspinall2010-10-10
* Clarify Emacs 22 versionGravatar David Aspinall2010-10-10
* Support Emacs 23.1+ only.Gravatar David Aspinall2010-10-10
* Set version tag for new release.Gravatar David Aspinall2010-10-10
* pg-span-name: improve docstring.Gravatar David Aspinall2010-10-10
* pg-span-context-menu: add docGravatar David Aspinall2010-10-10
* Activate debug message printing into log fileGravatar David Aspinall2010-10-10
* Add some more tokens for making pretty picturesGravatar David Aspinall2010-10-10
* isar-user-tokens: add doc so user can see it when using customizeGravatar David Aspinall2010-10-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 04:36:10 +0000