aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2011-04-18DocstringDavid Aspinall
2011-04-15* fix coq-show-first-goal changing the current bufferHendrik Tews
2011-04-15* fix overwriting setq coq-prog-name before loading Proof GeneralHendrik Tews
* more complete callback listing in proof-action list doc
2011-04-13proof-shell-insert-hook: Clean docstring, addressing #396.David Aspinall
2011-04-13UpdatedDavid Aspinall
2011-04-13Add proof-output-tooltips option to turn off output highlighting for people ↵David Aspinall
who read or edit by waving mouse at text
2011-04-12typoDavid Aspinall
2011-04-06* disable file safe when switching to new buffers for coqHendrik Tews
2011-03-14- change to proof-restart-buffers for unlocking ancestorsHendrik Tews
- improve internal docs for unlocking
2011-03-09Set version tag for new release.David Aspinall
2011-02-28- fixed XXX'es in coq.elHendrik Tews
2011-02-28- adjust coq-ask-insert-coq-prog-name and doc in coq-local-vars-docHendrik Tews
2011-02-23Set version tag for new release.David Aspinall
2011-02-23Support delete selection mode on remapped delete commandsDavid Aspinall
Update some of font alias choices.
2011-02-18- deleted old coq multiple file stuffHendrik Tews
2011-02-14put coq compilation feature into coq settings menuHendrik Tews
2011-02-02- properly display compilation error messages and enable M-xHendrik Tews
next-error (as far as possible)
2011-01-31Update with files from Isabelle2011 (no actual changes).David Aspinall
2011-01-31New files.David Aspinall
2011-01-31Deleted fileDavid Aspinall
2011-01-31proof-shell-theorem-dependency-list-regexp: change to match altered output ↵David Aspinall
format.
2011-01-31Old debug settingDavid Aspinall
2011-01-31Set version tag for new release.David Aspinall
2011-01-31Only make settings commands for dynamic settings which differ from their ↵David Aspinall
defaults
2011-01-31auto-solve -> auto-solve-direct for Isabelle2011.David Aspinall
2011-01-31Make proof-assistant-settings follow currently available dynamic settings, ↵David Aspinall
and keep possibly customized variables bound. Closes Trac #387.
2011-01-31Support mouse action on modeline indicator for scripting modeDavid Aspinall
2011-01-31Improve handling of dynamic preferences. Addresses Trac #387.David Aspinall
2011-01-31Improve hint messages; use proof mode keymap.David Aspinall
2011-01-31CommentsDavid Aspinall
2011-01-31Improve handling of trace buffer and tracing slow mode.David Aspinall
2011-01-30Note about declare-functionDavid Aspinall
2011-01-30Updated.David Aspinall
2011-01-30Fix prover versionsDavid Aspinall
2011-01-30Deprecate Emacs 22.XDavid Aspinall
2011-01-28- use low-level compilation interface for external coqHendrik Tews
compilation with our own customization variables
2011-01-28- mark new coq specific variables as safeHendrik Tews
- hint on per-directory local variables
2011-01-28Clean coq goals buffer when backing to a non-proof state, otherwisePierre Courtieu
the old goal was still displayed (and therefore the old number of goals too). Fixes trac #386.
2011-01-27added option -f FONT;Makarius Wenzel
2011-01-26ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).David Aspinall
2011-01-26Add autotest-start with debug for nowDavid Aspinall
2011-01-26Add autotest startDavid Aspinall
2011-01-26Add pg-autotest-start to allow debug startup, which doesn't catch errors.David Aspinall
2011-01-26- more info on the elements of proof-action-list; the COMMANDSHendrik Tews
list in it should be concatenated with (mapconcat 'identity COMMANDS " "), which is not the case proof-shell-insert.
2011-01-26- fix 1 second problemHendrik Tews
- add limitations in the docs
2011-01-26- fix problem descriptionHendrik Tews
2011-01-25proof-deactivate-scripting: cleanup this function to make moreDavid Aspinall
intelligible, also to properly support behaviour needed for `proof-no-fully-processed-buffer'.
2011-01-25Remove semisDavid Aspinall
2011-01-25proof-fast-process-buffer: set to t also on Windows.David Aspinall
Untested, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/308
2011-01-25Bump/relax version numbers. Error for <23, warning for minor version mismatch.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 09:59:27 +0000