proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2011-05-05	Fix emails	David Aspinall

2011-05-05	Remove mention of dvi	David Aspinall

2011-05-05	Restore front page scary image. Update dates	David Aspinall

2011-05-05	Update dates.	David Aspinall

2011-05-05	Restore scary front page image. Add credits.	David Aspinall

2011-05-05	Clean up and remove obsolete dvi targets.	David Aspinall

2011-05-05	Recreate jpg from old front page image (spending some bytes)	David Aspinall

2011-05-05	- flushed proof-done-advancing-require-function and	Hendrik Tews
	proof-shell-require-command-regexp - TAGS updated to really flush them
2011-04-26	Update magic, tweak Makefile to make sure magic uses source .els	David Aspinall

2011-04-13	Add proof-output-tooltips option to turn off output highlighting for people ↵	David Aspinall
	who read or edit by waving mouse at text
2011-04-12	typo	David Aspinall

2011-03-14	- change to proof-restart-buffers for unlocking ancestors	Hendrik Tews
	- improve internal docs for unlocking
2011-02-14	put coq compilation feature into coq settings menu	Hendrik Tews

2011-02-02	- properly display compilation error messages and enable M-x	Hendrik Tews
	next-error (as far as possible)
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-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-24	Add News for 4.1	David Aspinall

2011-01-23	Documentation updates	David Aspinall

2011-01-19	Update date stamps	David Aspinall

2011-01-19	- improved doc nodes Using file variables and Locking Ancestors	Hendrik Tews

2011-01-18	- implemented coq-lock-ancestors as described in the docs already	Hendrik Tews

2011-01-18	- fix broken external compilation	Hendrik Tews
	- fix quitting during compilation - substitute "compile" for "recompile" - added documentation
2011-01-14	- move proof-no-fully-processed-buffer to generic/proof-config	Hendrik Tews
	- add documentation for it - add a test case demonstrating it in coq/ex/test-cases/retract-completely-asserted
2011-01-12	Tweak text wrt http://proofgeneral.inf.ed.ac.uk/trac/ticket/355	David Aspinall

2010-10-11	Whitespace	David Aspinall

2010-10-11	Add Adam Megacz to credits	David Aspinall

2010-10-10	Cleanups.	David Aspinall

2010-10-10	Update magic	David Aspinall

2010-10-10	Update documenation of mouse bindings.	David Aspinall
	Clean up documentation of holes a bit. Remove some dead comments.
2010-10-08	Update magic	David Aspinall

2010-10-08	Improve autosend doc	David Aspinall

2010-10-04	Fully remove section for Coq-specific variables (coq-version-is-*	David Aspinall

2010-10-04	Fix some mouse bindings	David Aspinall

2010-10-01	Document query identifier	David Aspinall

2010-10-01	Update magic, release dates	David Aspinall

2010-09-21	Fix for new menu layout. Improve doc for automatic processing, ↵	David Aspinall
	document-centred.
2010-08-27	Update magic	David Aspinall

2010-08-24	Update versions	David Aspinall

2010-08-23	Remove extra nav bars in html. Clean html subdirs on distclean	David Aspinall

2010-08-23	-prefix -> --output	David Aspinall

2010-08-23	texi2html: add -prefix to give same as old behaviour (sub-directory).	David Aspinall

2010-08-23	Fix image embedding in html	David Aspinall

2010-08-23	Update to use @dircategory and @direntry for info	David Aspinall

2010-08-23	Add some more credits	David Aspinall

2010-08-23	Add some more credits	David Aspinall

2010-08-19	Add doc for Send Automatically option	David Aspinall

2010-08-18	Simplify installation instructions	David Aspinall

2010-08-15	Fix menu/node order inside internal chapter	David Aspinall