aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2011-01-12Type-check on integer settingsDavid Aspinall
2011-01-12Fix quoting in 'float patch.David Aspinall
2011-01-11Add additional support for pgipfloat typeDavid Aspinall
2011-01-11'float -> 'numberDavid Aspinall
2011-01-11defpacustom: support for 'float typeDavid Aspinall
2010-12-16Set version tag for new release.David Aspinall
2010-12-16Patch to add pgipfloat type.David Aspinall
2010-12-15UpdatedDavid Aspinall
2010-12-10Updated compatibilityDavid Aspinall
2010-12-10Set version tag for new release.David Aspinall
2010-12-10Update dateDavid Aspinall
2010-12-10Add note about short listDavid Aspinall
2010-12-08some attempts to indent 'notepad' 'begin' ... 'end' like a proof body;Makarius Wenzel
2010-11-25Fix compile problem with smie code on Emacs <=23.3David Aspinall
2010-11-25Set version tag for new release.David Aspinall
2010-11-15Summary: New indentation code using SMIEStefan Monnier
* coq/coq.el (coq-build-prog-args): Avoid meaningless \- escape sequence. (coq-use-smie): New custom var. (coq-smie-grammar): New var. (coq-smie-rules): New function. (coq-guess-or-ask-for-string): Use use-region-p. (coq-mode-config): Use smie-setup if available. * lib/proof-compat.el (use-region-p): Provide fallback definition.
2010-11-09Address http://proofgeneral.inf.ed.ac.uk/trac/ticket/379David Aspinall
2010-11-03Updated.David Aspinall
2010-11-03Set version tag for new release.David Aspinall
2010-10-22Fixed a bug with utf8 error highlighting in coq 8.3 (bugs with 8.2Pierre Courtieu
but nevermind).
2010-10-13Update for config changes.David Aspinall
2010-10-11proof-debug: fiddle with warning levels to make *PG Debug* buffer appear, ↵David Aspinall
set it in help mode.
2010-10-11proof-segment-up-to-using-cache: improve attemptDavid Aspinall
2010-10-11Set version tag for new release.David Aspinall
2010-10-11proof-use-parser-cache=t defaultDavid Aspinall
2010-10-11WhitespaceDavid Aspinall
2010-10-11Use parser cache by default.David Aspinall
2010-10-11Add Adam Megacz to creditsDavid Aspinall
2010-10-11UpdatedDavid Aspinall
2010-10-11Set version tag for new release.David Aspinall
2010-10-11CleanupDavid Aspinall
2010-10-11isar-set-undo-commands: prevent opening new script files calling ↵David Aspinall
proof-deactivate-scripting
2010-10-11unicode-tokens-enable: turn on by default in IsabelleDavid Aspinall
2010-10-11Fix transparency for PNGsDavid Aspinall
2010-10-11DefunctDavid Aspinall
2010-10-10Cleanups.David Aspinall
2010-10-10Set version tag for new release.David Aspinall
2010-10-10Update authors list (should have been in PG 4.0)David Aspinall
2010-10-10Update to 4.1preDavid Aspinall
2010-10-10Set version tag for new release.David Aspinall
2010-10-10Unify version number for new releaseDavid Aspinall
2010-10-10clean: clean profile and test outputDavid Aspinall
2010-10-10Add a master debug flag, and disable debug output ordinarily.David Aspinall
2010-10-10Fix debug message formatDavid Aspinall
2010-10-10UpdatedDavid Aspinall
2010-10-10Update magicDavid Aspinall
2010-10-10Update documenation of mouse bindings.David Aspinall
Clean up documentation of holes a bit. Remove some dead comments.
2010-10-10Reenable LEGO since it's included in docs (needed for make magic)David Aspinall
2010-10-10Disable lego and hol-light by defaultDavid Aspinall
2010-10-10UpdatedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 13:27:28 +0000