proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2011-01-31	New files.	David Aspinall

2011-01-31	Deleted file	David Aspinall

2011-01-31	proof-shell-theorem-dependency-list-regexp: change to match altered output ↵	David Aspinall
	format.
2011-01-31	Old debug setting	David Aspinall

2011-01-31	Set version tag for new release.	David Aspinall

2011-01-31	Only make settings commands for dynamic settings which differ from their ↵	David Aspinall
	defaults
2011-01-31	auto-solve -> auto-solve-direct for Isabelle2011.	David Aspinall

2011-01-31	Make proof-assistant-settings follow currently available dynamic settings, ↵	David Aspinall
	and keep possibly customized variables bound. Closes Trac #387.
2011-01-31	Support mouse action on modeline indicator for scripting mode	David Aspinall

2011-01-31	Improve handling of dynamic preferences. Addresses Trac #387.	David Aspinall

2011-01-31	Improve hint messages; use proof mode keymap.	David Aspinall

2011-01-31	Comments	David Aspinall

2011-01-31	Improve handling of trace buffer and tracing slow mode.	David Aspinall

2011-01-30	Note about declare-function	David Aspinall

2011-01-30	Updated.	David Aspinall

2011-01-30	Fix prover versions	David Aspinall

2011-01-30	Deprecate Emacs 22.X	David Aspinall

2011-01-28	- use low-level compilation interface for external coq	Hendrik Tews
	compilation with our own customization variables
2011-01-28	- mark new coq specific variables as safe	Hendrik Tews
	- hint on per-directory local variables
2011-01-28	Clean coq goals buffer when backing to a non-proof state, otherwise	Pierre Courtieu
	the old goal was still displayed (and therefore the old number of goals too). Fixes trac #386.
2011-01-27	added option -f FONT;	Makarius Wenzel

2011-01-26	ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).	David Aspinall

2011-01-26	Add autotest-start with debug for now	David Aspinall

2011-01-26	Add autotest start	David Aspinall

2011-01-26	Add 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 COMMANDS	Hendrik 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 problem	Hendrik Tews
	- add limitations in the docs
2011-01-26	- fix problem description	Hendrik Tews

2011-01-25	proof-deactivate-scripting: cleanup this function to make more	David Aspinall
	intelligible, also to properly support behaviour needed for `proof-no-fully-processed-buffer'.
2011-01-25	Remove semis	David Aspinall

2011-01-25	proof-fast-process-buffer: set to t also on Windows.	David Aspinall
	Untested, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/308
2011-01-25	Bump/relax version numbers. Error for <23, warning for minor version mismatch.	David Aspinall

2011-01-25	Remove debug messages	David Aspinall

2011-01-25	- unlock files when retracting a Require command (implemented via	Hendrik Tews
	a span-delete-action and the 'coq-locked-ancestors property in the spans of Require commands)
2011-01-25	Set version tag for new release.	David Aspinall

2011-01-25	Note recent changes	David Aspinall

2011-01-25	Remove dead code	David Aspinall

2011-01-25	Remove proof-shell-wait that causes deadlock with new multiple-file code.	David Aspinall

2011-01-25	proof-shell-kill-function: use our own busy loop, as proof-shell-wait	David Aspinall
	expects normal prover IO. Addresses http://proofgeneral.inf.ed.ac.uk/trac/ticket/384
2011-01-25	Dump Messages and PG Debug into log file, they have useful info.	David Aspinall

2011-01-24	- change 'span-delete-action in 'span-delete-actions, which is	Hendrik Tews
	now a list of functions to be run when the span is deleted. Use span-add-delete-action to add a delete action.
2011-01-24	Set version tag for new release.	David Aspinall

2011-01-24	Add News for 4.1	David Aspinall

2011-01-23	updated theory headers;	Makarius Wenzel

2011-01-23	Typo	David Aspinall

2011-01-23	Documentation updates	David Aspinall

2011-01-23	proof-shell-exit: mention quit command and quit timeout in doc	David Aspinall

2011-01-23	Make proof-shell-quit-timeout a prover-specific customize option, default to ↵	David Aspinall
	45 for Isar. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/384.
2011-01-23	proof-protected-process-or-retract: don't give failure error if nothing to do	David Aspinall
	Addresses Trac #383
2011-01-23	Save the log file without querying user on exit	David Aspinall