proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Print Coercions added to coq-syntax	Assia Mahboubi	2007-12-07
\|
*	Corollary added to Coq starters	Assia Mahboubi	2007-12-05
\|
*	coq solve tacs modified	Assia Mahboubi	2007-11-30
\|
*	colouring for Reserved Notations	Assia Mahboubi	2007-11-26
\|
*	removed 'by'form coq-reserved and added it to coq-solve-tactics	Assia Mahboubi	2007-11-20
\|
*	clarify that -U now defaults to true;	Makarius Wenzel	2007-11-20
\|
*	adding coq-solve tactics	Assia Mahboubi	2007-11-20
\|
*	fixed spelling;	Makarius Wenzel	2007-11-18
\|
*	coq-user-reserved-db added	Assia Mahboubi	2007-11-16
\|
*	test commit : added Structure to coq-defn-db	Assia Mahboubi	2007-11-16
\|
*	Fix mail address/name for Makarius	David Aspinall	2007-11-15
\|
*	command 'thm' makes no sense outside a proper context;	Makarius Wenzel	2007-11-13
\| \| \| \|	fixed spelling;
*	Versions	David Aspinall	2007-11-12
\|
*	Set version tag for new release.	David Aspinall	2007-11-12
\|
*	Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160	David Aspinall	2007-11-12
\|
*	fixing small font-lock bug with ssreflect syntax.	Pierre Courtieu	2007-11-08
\|
*	Debugging font-lock regexp.	Pierre Courtieu	2007-11-07
\|
*	Menu are now correctly sorted.	Pierre Courtieu	2007-11-07
\|
*	Debugging font-lock regexp.	Pierre Courtieu	2007-11-07
\|
*	Debugging font-lock regexps. Bad order: longer regexp should be put	Pierre Courtieu	2007-11-07
\| \| \| \|	first.
*	defconst proof-warning-face -- as expected by GNU Emacs;	Makarius Wenzel	2007-11-04
\|
*	Fixed colorization bugs reported by Assai MAhboubi, this commit is	Pierre Courtieu	2007-10-30
\| \| \| \|	part of the previoous one (missused cvs).
*	Fixed small colorizing bugs (when keywords contain sub words colorized	Pierre Courtieu	2007-10-30
\| \| \| \|	in another color). Reported by Assia Mahboubi.
*	Bug fixed. Reported by Assia Mahboubi.	Pierre Courtieu	2007-10-30
\|
*	Fixed a bug on custom vars (bad :type) + Added a customizable user var	Pierre Courtieu	2007-10-29
\| \| \| \|	for tacticals (asked by Assi Mahboubi).
*	Simplify version editing to use DOWNLOADHTMLS and use %{version} in spec	David Aspinall	2007-10-25
\|
*	Use %{version} tag in source file name	David Aspinall	2007-10-25
\|
*	Set version tag for new release.	David Aspinall	2007-10-25
\|
*	proof-shell-issue-pgip-cmd is always isabelle-process-pgip;	Makarius Wenzel	2007-10-24
\|
*	removed obsolete isabelle-version-string, isa-version, isa-supports-pgip;	Makarius Wenzel	2007-10-24
\|
*	isar-find-and-forget: no special treatment of begin/end, just plain undo	Makarius Wenzel	2007-10-18
\| \| \| \|	(in Isabelle2005 this will produce repeated errors after end-of-theory;
*	isar-undo-fail-regexp: only isar-keywords-control, not isar-keywords-theory-end;	Makarius Wenzel	2007-10-18
\|
*	New files.	David Aspinall	2007-09-17
\|
*	Set version tag for new release.	David Aspinall	2007-09-10
\|
*	allow more specials: oct 327 .. oct 340;	Makarius Wenzel	2007-09-07
\|
*	isar-output-font-lock-keywords-1: hilite markup uses proof-warning-face;	Makarius Wenzel	2007-09-07
\|
*	Use button2 instead of button1 for pg-goals-button-action	David Aspinall	2007-09-06
\|
*	proper use of ProofGeneral.sendback;	Makarius Wenzel	2007-08-20
\|
*	Avoid compilation error	David Aspinall	2007-08-19
\|
*	pg-topterm-char -> pg-topterm-regexp	David Aspinall	2007-08-19
\|
*	Set version tag for new release.	David Aspinall	2007-08-19
\|
*	pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexp	David Aspinall	2007-08-19
\|
*	Fix to proof-defintset-fn so that correct current value is displayed.	David Aspinall	2007-08-19
\|
*	Fix attribute for proof-active-area-face	David Aspinall	2007-08-19
\|
*	Only analyse structure for region of appended text	David Aspinall	2007-08-19
\|
*	proof-active-area-face: highlighting face for active area	David Aspinall	2007-08-19
\|
*	Test ProofGeneral.sendback	David Aspinall	2007-08-19
\|
*	pg-topterm-regexp: use special 376. isar-goalhyplit-test: Delete closing ↵	David Aspinall	2007-08-19
\| \| \| \|	markup (special 377).
*	Comments	David Aspinall	2007-08-19
\|
*	proof-append-alist: detach queue span if no commands after comments stripped.	David Aspinall	2007-08-19
\| \| \| \|	Fixes trac report #138: processing comments alone leads to spurious read-only region.