aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* coq-find-and-forget: Allow undoing prover processed regionsGravatar David Aspinall2010-10-10
* coq-generic-expression: fix this to match symbols, not merely words.Gravatar David Aspinall2010-10-10
* Fix to last patch.Gravatar David Aspinall2010-10-10
* proof-assert-electric-terminator: prevent adding terminator if point is after...Gravatar David Aspinall2010-10-10
* Adjust a comment on proof-shell-modeGravatar David Aspinall2010-10-10
* Update magicGravatar David Aspinall2010-10-08
* Improve autosend docGravatar David Aspinall2010-10-08
* Remove developers note from docstring of togglersGravatar David Aspinall2010-10-08
* Add extra requires for compile to work on tty emacs (e.g. MacOS terminal emacs)Gravatar David Aspinall2010-10-06
* No compile warning if image-size not availableGravatar David Aspinall2010-10-06
* Clean up obsolete commentsGravatar David Aspinall2010-10-04
* Fixes in strings/comments from Erik Martin-DorelGravatar David Aspinall2010-10-04
* CommentsGravatar David Aspinall2010-10-04
* Fully remove section for Coq-specific variables (coq-version-is-*Gravatar David Aspinall2010-10-04
* coq-insert-solve-tactic: added (credit:Erik Martin-Dorel, patch from trac #35...Gravatar David Aspinall2010-10-04
* Set version tag for new release.Gravatar David Aspinall2010-10-04
* Move mouse button bindings to avoid clashes (patch from Trac #365, Erik Marti...Gravatar David Aspinall2010-10-04
* Fix some mouse bindingsGravatar David Aspinall2010-10-04
* Set version tag for new release.Gravatar David Aspinall2010-10-01
* Document query identifierGravatar David Aspinall2010-10-01
* Failed attempt to fix font lock customizations for elispGravatar David Aspinall2010-10-01
* proof-universal-keys: Add binding for pg-identifier-under-mouse-query.Gravatar David Aspinall2010-10-01
* Add docGravatar David Aspinall2010-10-01
* proof-script-new-command-advance: add back some indentation attemptGravatar David Aspinall2010-10-01
* Move utility span-make-modifying-removing-span to span.elGravatar David Aspinall2010-10-01
* Rename span-add-self-removing-spanGravatar David Aspinall2010-10-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 23:50:53 +0000