proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2009-09-07	Fix initialisation of isar-use-find-theorems-form in compiled file.	David Aspinall

2009-09-07	require proof-site also at startup	David Aspinall

2009-09-07	lego-shell-process-output -> lego-shell-classify-output	David Aspinall

2009-09-07	Requires processed more often (experiment)	David Aspinall

2009-09-07	Fix compiler warnings	David Aspinall

2009-09-07	isar-use-find-theorems-form: use defcustom, not defpacustom	David Aspinall
	isar-keywords-name: fix custom group
2009-09-07	Fix compiler warnings	David Aspinall

2009-09-07	Fix compiler warnings.	David Aspinall

2009-09-07	Isabelle->isabelle binary. Remove Isar homepage.	David Aspinall

2009-09-07	Don't try to compile obsolete twelf Emacs code.	David Aspinall

2009-09-07	Update for 4.0 and shorten.	David Aspinall

2009-09-07	(C) date	David Aspinall

2009-09-07	Fix compile warnings and ensure compiled code behaves as expected.	David Aspinall

2009-09-07	Fix compile warning, rearrange docs	David Aspinall

2009-09-07	Require cl for compilation. Rearrange docs.	David Aspinall

2009-09-07	Attempt byte compilation only for emacs lisp!	David Aspinall

2009-09-07	isar-preprocessing: remove unnecessary save-match-data.	David Aspinall
	Fix a compile warning.
2009-09-07	Remove \t in \<inverse> expansion.	David Aspinall
	Make \<spacespace> be a single EM-DASH SPACE
2009-09-07	Remove \t in \<module> expansion.	David Aspinall

2009-09-07	Fix compile warnings	David Aspinall

2009-09-07	Whitespace	David Aspinall

2009-09-07	(C) date	David Aspinall

2009-09-07	mapcar -> dolist	David Aspinall

2009-09-07	Require cl for compilation	David Aspinall

2009-09-07	Missing require	David Aspinall

2009-09-07	Fix typos	David Aspinall

2009-09-07	Update for Unicode Tokens.	David Aspinall

2009-09-07	Add documentation to explain usage.	David Aspinall
	Add setting function for dynamic updates. Add further symbols and explanation of two ways of working.
2009-09-07	Use extended form of define-minor-mode	David Aspinall

2009-09-07	Add template auto-insert hook	David Aspinall

2009-09-07	Calculate token match regexp in a more complex way in an attempt to	David Aspinall
	allow for Coq token grammar. Alter composition of strings to place characters by baseline. Doc and menu notes about replacement functions.
2009-09-06	Updated	David Aspinall

2009-09-06	Prevent compiler warnings	David Aspinall

2009-09-06	Fix compile warnings, remove some XEmacs-isms	David Aspinall

2009-09-06	Obsolete files	David Aspinall

2009-09-06	proof-buffer-syntactic-context-emulate: use caching syntax-ppss	David Aspinall
	instead of parse-partial-sexp
2009-09-06	Typo	David Aspinall

2009-09-06	Prevent compile warnings	David Aspinall

2009-09-06	Avoid easy-menu-define macro	David Aspinall

2009-09-06	Whitespace	David Aspinall

2009-09-06	Updated	David Aspinall

2009-09-06	Updated	David Aspinall

2009-09-06	Remove unused subterm markup code	David Aspinall

2009-09-06	Configuration changes for shell mode revision.	David Aspinall

2009-09-06	Move holes menu to holes mode	David Aspinall

2009-09-06	Updated	David Aspinall

2009-09-06	Make sure proof-shell-last-output is non-nil	David Aspinall

2009-09-06	pg-add-element: unbound var in debug	David Aspinall
	proof-activate-scripting: minor cleanup proof-assert-until-point: don't go back beyond end of locked
2009-09-06	Make sure proof-shell-last-output, proof-shell-last-prompt and	David Aspinall
	proof-shell-delayed-ouput remain non-nil.
2009-09-06	Reorganisation to avoid generating many intermediate strings from	David Aspinall
	the shell buffer, and match shell regexp directly inside it. This changes the types of several configuration settings. Also some improvements to scomint configuration and changes to proof-shell-exec-loop to send the next command to the prover before starting to process the output from the last. This reorganisation is still in testing and will take time to bed down.