aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-script.el
Commit message (Expand)AuthorAge
* Derive proof-mode from prog-modeHEADmasterGravatar Benjamin Barenblat2019-04-18
* Make coq-mode work without generic/proof-*Gravatar Stefan Monnier2018-12-26
* Reduce the impact of proof-site, in case PG is not usedGravatar Stefan Monnier2018-12-25
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Merge pull request #169 from ProofGeneral/help-span-extendedGravatar Erik Martin-Dorel2018-08-25
|\
* | 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
* | Fix pg-{show,hide}-all-proofs and Move them into pg-user.el.Gravatar Erik Martin-Dorel2017-08-15
| * extend helpspan, issue #158Gravatar Paul Steckler2017-03-09
|/
* Remove default key-binding for proof-electric-terminator-toggle.Gravatar Erik Martin-Dorel2017-03-03
* proof-retract-before-change: Fix #41 by saving/restoring the match data.Gravatar Erik Martin-Dorel2016-09-25
* Reset proof-script-buffer to nil if -ready-prover failsGravatar Clément Pit--Claudel2016-06-10
* Fixing #25.Gravatar Pierre Courtieu2016-01-06
* proof-retract-command-hook added + more auto adjust width in coq mode.Gravatar Pierre Courtieu2015-10-13
* proof-assert-command-hook added + Auto adjust width in coq mode.Gravatar Pierre Courtieu2015-10-12
* Don't mess with overlay priorities.Gravatar Stefan Monnier2014-06-06
* Add option proof-layout-windows-on-visit-file, addressing Trac #444Gravatar David Aspinall2012-08-16
* fix 443 by enforcing that the prover is not busy in proof-retract-until-pointGravatar Hendrik Tews2012-08-14
* * generic/pg-user.el (which-func-modes): Fix compiler declaration.Gravatar Stefan Monnier2012-06-29
* Made a small change in generic code about the setting ofGravatar Pierre Courtieu2012-06-09
* Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...Gravatar David Aspinall2011-10-13
* Add autoload.Gravatar David Aspinall2011-06-09
* - fix for #408: Only use the buffer name inGravatar Hendrik Tews2011-06-08
* Trac#403: wait for retraction to complete before returning, toGravatar David Aspinall2011-05-30
* ensure (integerp proof-segment-up-to-cache-end), fixes Trac #404Gravatar David Aspinall2011-05-27
* proof-retract-before-change: fix Trac #403 (at least partially) byGravatar David Aspinall2011-05-26
* Patch for Trac#400.Gravatar David Aspinall2011-05-16
* Tweak for `proof-segment-up-to-using-cache': better handling ofGravatar David Aspinall2011-05-12
* Attempted fix for `proof-segment-up-to-using-cache', reGravatar David Aspinall2011-05-12
* - flushed proof-done-advancing-require-function andGravatar Hendrik Tews2011-05-05
* Fix for Trac #397. Needs some exercise.Gravatar David Aspinall2011-04-26
* Add proof-output-tooltips option to turn off output highlighting for people w...Gravatar David Aspinall2011-04-13
* - change to proof-restart-buffers for unlocking ancestorsGravatar Hendrik Tews2011-03-14
* Support mouse action on modeline indicator for scripting modeGravatar David Aspinall2011-01-31
* proof-deactivate-scripting: cleanup this function to make moreGravatar David Aspinall2011-01-25
* - change 'span-delete-action in 'span-delete-actions, which isGravatar Hendrik Tews2011-01-24
* proof-protected-process-or-retract: don't give failure error if nothing to doGravatar David Aspinall2011-01-23
* pg-show-all-portions: protect against empty hash tablesGravatar David Aspinall2011-01-19
* - move proof-no-fully-processed-buffer to generic/proof-configGravatar Hendrik Tews2011-01-14
* Add preliminary support for multiple files for coq.Gravatar Hendrik Tews2011-01-12
* proof-segment-up-to-using-cache: improve attemptGravatar David Aspinall2010-10-11
* Fix debug message formatGravatar David Aspinall2010-10-10
* pg-span-name: improve docstring.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
* Move utility span-make-modifying-removing-span to span.elGravatar David Aspinall2010-10-01
* proof-shell-handle-error-or-interrupt-hook: only run if ordinary scripting in...Gravatar David Aspinall2010-10-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 12:43:03 +0000