aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-menu.el
AgeCommit message (Expand)Author
2019-05-16proof-assistant-format: Support format character "%l" a.k.a. lambdaErik Martin-Dorel
2019-05-16Highlight diffs in goals and some error messagesJim Fehrle
2018-12-25Reduce the impact of proof-site, in case PG is not usedStefan Monnier
2018-12-15Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Stefan Monnier
2018-12-15Use cl-caddr instead of caddrClément Pit-Claudel
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2018-02-20Bind C-c C-m (= C-c RET) to proof-goto-point [tty] (#228)Erik Martin-Dorel
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2017-01-19save settings not defined with defpacustom (fixes #142)Hendrik Tews
2014-12-22Fixed a compilation issue + small display glitch in coqpgPierre Courtieu
2012-08-16Add option proof-layout-windows-on-visit-file, addressing Trac #444David Aspinall
2012-01-03merge ProofTreeBranch into main trunk:Hendrik Tews
2011-10-13Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...David Aspinall
2011-08-24Capitalize menu itemsDavid Aspinall
2011-08-23Remove PG prefix from toolbar button names (needed for disambiguity in older ...David Aspinall
2011-04-13Add proof-output-tooltips option to turn off output highlighting for people w...David Aspinall
2011-01-31Only make settings commands for dynamic settings which differ from their defa...David Aspinall
2011-01-31Make proof-assistant-settings follow currently available dynamic settings, an...David Aspinall
2011-01-31Improve handling of dynamic preferences. Addresses Trac #387.David Aspinall
2011-01-12Remove commentDavid Aspinall
2011-01-11Add additional support for pgipfloat typeDavid Aspinall
2010-12-16Patch to add pgipfloat type.David Aspinall
2010-10-04Move mouse button bindings to avoid clashes (patch from Trac #365, Erik Marti...David Aspinall
2010-09-21Adjust menu layout for Quick Options. Add Document Centred and Default conve...David Aspinall
2010-08-27Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....David Aspinall
2010-08-24Split proof-assistant-settings-cmds and proof-assistant-settings-cmdDavid Aspinall
2010-08-22Use C-c C-H for proof-help as suggested in Trac #341, since C-c h clashes wit...David Aspinall
2010-08-22Move binding of proof-help from C-c C-h to C-c h (see Trac #341)David Aspinall
2010-08-19Add Fast Process Buffer optionDavid Aspinall
2010-08-15Preliminary and experimental support for automatically sending commands.David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-08-03Move key binding for proof assistant keymap (fixes compilation bug)David Aspinall
2010-08-03Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.David Aspinall
2009-12-03Rework script span element hiding to avoid buffer-invisibility-spec. Add com...David Aspinall
2009-12-02Add proof-sticky-errors to quick options menu.David Aspinall
2009-12-01Remove mention of `proof-script-use-old-parser'.David Aspinall
2009-12-01proof-splice-separator -> mapconcat builtinDavid Aspinall
2009-11-24reverse settings within each group, to prevent upside-down presentation;Makarius Wenzel
2009-09-29Clean up hints about buffer displayDavid Aspinall
2009-09-28Menu entry <PA>-set-command invisible when function undefined (not inactive)David Aspinall
2009-09-27Trace buffer: do not show this trace-output-regexp not setDavid Aspinall
2009-09-27Rotate Output Buffers: do not show this if in three window modeDavid Aspinall
2009-09-27Follow Upper Case Convention for menu entriesDavid Aspinall
2009-09-27Tweak hint textDavid Aspinall
2009-09-27Put Display submenu first in Quick Options menuDavid Aspinall
2009-09-26Shorten menu nameDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:57:57 +0000