proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	Add etc/coq/parsingcheck-410.v to executed files	David Aspinall	2011-06-09
*	Fix compile errors (seems to be code duplication between coq.el and coq-indent)	David Aspinall	2011-06-09
*	Added one indentation example.	Pierre Courtieu	2011-06-08
*	- fix for #408: Only use the buffer name in	Hendrik Tews	2011-06-08
*	2011-06-07 Stefan Monnier <monnier@iro.umontreal.ca>	Stefan Monnier	2011-06-07
*	Summary: * coq.el (coq-smie-backward-token): Fix typo in last change.	Stefan Monnier	2011-06-07
*	Summary: coq-smie: improve indentation.	Stefan Monnier	2011-06-07
*	Summary: coq-smie: Do not assume all "." are terminators. Handle "Programs".	Stefan Monnier	2011-06-06
*	Updated the old code for indentation, in case Stefan cannot finish the	Pierre Courtieu	2011-06-04
*	Cleaning some keyboard shortcuts, applying patch from Erik Martin-Dorel.	Pierre Courtieu	2011-06-04
*	coq-init-compile-response-buffer: handle killed buffer (Trac #408)	David Aspinall	2011-06-03
*	Some small fixes in indentation for coq.	Pierre Courtieu	2011-05-31
*	Added indentation for BeginSubProof/EndSubProof.	Pierre Courtieu	2011-05-31
*	- two fixes for coq-debug-auto-compilation	Hendrik Tews	2011-05-25
*	- minor changes: clean personal todo list + adjust test case description	Hendrik Tews	2011-05-20
*	Fixed #394. There is a bug with kfont-lock-keywords. The workaround is	Pierre Courtieu	2011-05-17
*	- add test coq/ex/test-cases/change-ancestor for the	Hendrik Tews	2011-05-12
*	Checkdoc	David Aspinall	2011-05-06
*	- flushed proof-done-advancing-require-function and	Hendrik Tews	2011-05-05
*	update Hendrik's personal issue list	Hendrik Tews	2011-04-27
*	Fix compile	David Aspinall	2011-04-26
*	Fix so that make test.coq runs successfully.	David Aspinall	2011-04-26
*	Clean up some defcustom docstrings (remove *'s)	David Aspinall	2011-04-26
*	* fix coq-show-first-goal changing the current buffer	Hendrik Tews	2011-04-15
*	* fix overwriting setq coq-prog-name before loading Proof General	Hendrik Tews	2011-04-15
*	* disable file safe when switching to new buffers for coq	Hendrik Tews	2011-04-06
*	- change to proof-restart-buffers for unlocking ancestors	Hendrik Tews	2011-03-14
*	- fixed XXX'es in coq.el	Hendrik Tews	2011-02-28
*	- adjust coq-ask-insert-coq-prog-name and doc in coq-local-vars-doc	Hendrik Tews	2011-02-28
*	- deleted old coq multiple file stuff	Hendrik Tews	2011-02-18
*	put coq compilation feature into coq settings menu	Hendrik Tews	2011-02-14
*	- properly display compilation error messages and enable M-x	Hendrik Tews	2011-02-02
*	Old debug setting	David Aspinall	2011-01-31
*	- use low-level compilation interface for external coq	Hendrik Tews	2011-01-28
*	- mark new coq specific variables as safe	Hendrik Tews	2011-01-28
*	Clean coq goals buffer when backing to a non-proof state, otherwise	Pierre Courtieu	2011-01-28
*	Add autotest-start with debug for now	David Aspinall	2011-01-26
*	- more info on the elements of proof-action-list; the COMMANDS	Hendrik Tews	2011-01-26
*	- fix 1 second problem	Hendrik Tews	2011-01-26
*	- fix problem description	Hendrik Tews	2011-01-26
*	- unlock files when retracting a Require command (implemented via	Hendrik Tews	2011-01-25
*	Remove proof-shell-wait that causes deadlock with new multiple-file code.	David Aspinall	2011-01-25
*	- use time-less-p	Hendrik Tews	2011-01-21
*	- switch off automatic compilation for coq to not surprise users	Hendrik Tews	2011-01-19
*	- fixed stale load path problem with killing the proof shell in	Hendrik Tews	2011-01-18
*	- implemented coq-lock-ancestors as described in the docs already	Hendrik Tews	2011-01-18
*	Add multiple file test case	David Aspinall	2011-01-18
*	Alternative fix to #382.	David Aspinall	2011-01-18
*	set proof-auto-action-when-deactivating-scripting to 'retract,	David Aspinall	2011-01-18
*	Localise compilation fix for dynamic scope of `queueitems\'.	David Aspinall	2011-01-18