aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-menu.el
Commit message (Expand)AuthorAge
* Reduce the impact of proof-site, in case PG is not usedGravatar Stefan Monnier2018-12-25
* Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Gravatar Stefan Monnier2018-12-15
* Use cl-caddr instead of caddrGravatar Clément Pit-Claudel2018-12-15
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Bind C-c C-m (= C-c RET) to proof-goto-point [tty] (#228)Gravatar Erik Martin-Dorel2018-02-20
* Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
* save settings not defined with defpacustom (fixes #142)Gravatar Hendrik Tews2017-01-19
* Fixed a compilation issue + small display glitch in coqpgGravatar Pierre Courtieu2014-12-22
* Add option proof-layout-windows-on-visit-file, addressing Trac #444Gravatar David Aspinall2012-08-16
* merge ProofTreeBranch into main trunk:Gravatar Hendrik Tews2012-01-03
* Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...Gravatar David Aspinall2011-10-13
* Capitalize menu itemsGravatar David Aspinall2011-08-24
* Remove PG prefix from toolbar button names (needed for disambiguity in older ...Gravatar David Aspinall2011-08-23
* Add proof-output-tooltips option to turn off output highlighting for people w...Gravatar David Aspinall2011-04-13
* Only make settings commands for dynamic settings which differ from their defa...Gravatar David Aspinall2011-01-31
* Make proof-assistant-settings follow currently available dynamic settings, an...Gravatar David Aspinall2011-01-31
* Improve handling of dynamic preferences. Addresses Trac #387.Gravatar David Aspinall2011-01-31
* Remove commentGravatar David Aspinall2011-01-12
* Add additional support for pgipfloat typeGravatar David Aspinall2011-01-11
* Patch to add pgipfloat type.Gravatar David Aspinall2010-12-16
* Move mouse button bindings to avoid clashes (patch from Trac #365, Erik Marti...Gravatar David Aspinall2010-10-04
* Adjust menu layout for Quick Options. Add Document Centred and Default conve...Gravatar David Aspinall2010-09-21
* Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....Gravatar David Aspinall2010-08-27
* Split proof-assistant-settings-cmds and proof-assistant-settings-cmdGravatar David Aspinall2010-08-24
* Use C-c C-H for proof-help as suggested in Trac #341, since C-c h clashes wit...Gravatar David Aspinall2010-08-22
* Move binding of proof-help from C-c C-h to C-c h (see Trac #341)Gravatar David Aspinall2010-08-22
* Add Fast Process Buffer optionGravatar David Aspinall2010-08-19
* Preliminary and experimental support for automatically sending commands.Gravatar David Aspinall2010-08-15
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Move key binding for proof assistant keymap (fixes compilation bug)Gravatar David Aspinall2010-08-03
* Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.Gravatar David Aspinall2010-08-03
* Rework script span element hiding to avoid buffer-invisibility-spec. Add com...Gravatar David Aspinall2009-12-03
* Add proof-sticky-errors to quick options menu.Gravatar David Aspinall2009-12-02
* Remove mention of `proof-script-use-old-parser'.Gravatar David Aspinall2009-12-01
* proof-splice-separator -> mapconcat builtinGravatar David Aspinall2009-12-01
* reverse settings within each group, to prevent upside-down presentation;Gravatar Makarius Wenzel2009-11-24
* Clean up hints about buffer displayGravatar David Aspinall2009-09-29
* Menu entry <PA>-set-command invisible when function undefined (not inactive)Gravatar David Aspinall2009-09-28
* Trace buffer: do not show this trace-output-regexp not setGravatar David Aspinall2009-09-27
* Rotate Output Buffers: do not show this if in three window modeGravatar David Aspinall2009-09-27
* Follow Upper Case Convention for menu entriesGravatar David Aspinall2009-09-27
* Tweak hint textGravatar David Aspinall2009-09-27
* Put Display submenu first in Quick Options menuGravatar David Aspinall2009-09-27
* Shorten menu nameGravatar David Aspinall2009-09-26
* Add Hide/Show to extra modes menuGravatar David Aspinall2009-09-21
* Rearrange options, add customize user options to top level menuGravatar David Aspinall2009-09-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-07 04:09:46 +0000