aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* - move proof-no-fully-processed-buffer to generic/proof-configGravatar Hendrik Tews2011-01-14
* - simple backward compatible change to invoke a function toGravatar Hendrik Tews2011-01-14
* Add preliminary support for multiple files for coq.Gravatar Hendrik Tews2011-01-12
* Set version tag for new release.Gravatar David Aspinall2011-01-12
* Remove commentGravatar David Aspinall2011-01-12
* Type-check on integer settingsGravatar David Aspinall2011-01-12
* Fix quoting in 'float patch.Gravatar David Aspinall2011-01-12
* Add additional support for pgipfloat typeGravatar David Aspinall2011-01-11
* 'float -> 'numberGravatar David Aspinall2011-01-11
* defpacustom: support for 'float typeGravatar David Aspinall2011-01-11
* Set version tag for new release.Gravatar David Aspinall2010-12-16
* Patch to add pgipfloat type.Gravatar David Aspinall2010-12-16
* Set version tag for new release.Gravatar David Aspinall2010-12-10
* Set version tag for new release.Gravatar David Aspinall2010-11-25
* Set version tag for new release.Gravatar David Aspinall2010-11-03
* 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
* Use parser cache by default.Gravatar David Aspinall2010-10-11
* Set version tag for new release.Gravatar David Aspinall2010-10-11
* unicode-tokens-enable: turn on by default in IsabelleGravatar David Aspinall2010-10-11
* Set version tag for new release.Gravatar David Aspinall2010-10-10
* Set version tag for new release.Gravatar 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
* 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
* 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
* 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
* Remove developers note from docstring of togglersGravatar David Aspinall2010-10-08
* 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
* 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
* Set version tag for new release.Gravatar 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
* Add explicit 'invisible flag on the action list for invisible commands.Gravatar David Aspinall2010-10-01
* proof-shell-handle-error-or-interrupt-hook: only run if ordinary scripting in...Gravatar David Aspinall2010-10-01
* Adjust handling of insertion of newlines before next command.Gravatar David Aspinall2010-10-01
* proof-next-command-on-new-line: add this new internal flagGravatar David Aspinall2010-10-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 12:10:04 +0000