proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Add unload utility for development	David Aspinall	2007-08-14
\|
*	Added new keywords.	Pierre Courtieu	2007-07-12
\|
*	Set version tag for new release.	David Aspinall	2007-07-04
\|
*	Revert html target to not include dir (although it builds in dir)	David Aspinall	2007-06-19
\|
*	New subdirs for html	David Aspinall	2007-06-19
\|
*	Fix broken texi magic strings.	David Aspinall	2007-06-19
\|
*	Account for new default behaviour of texi2html, using subdir for manuals	David Aspinall	2007-06-19
\|
*	Fix comment	David Aspinall	2007-06-19
\|
*	Set version tag for new release.	David Aspinall	2007-06-19
\|
*	isar-improper-regexp: include "prems";	Makarius Wenzel	2007-06-14
\| \| \| \|	Cvs: ----------------------------------------------------------------------
*	single-char-regexp: tuned symbol regexp;	Makarius Wenzel	2007-06-14
\| \| \| \|	subscript-matcher: more robust handling of non-space lookahead (beware of markuo specials!);
*	isar-font-lock-local: tuned symbol regexp;	Makarius Wenzel	2007-06-14
\|
*	added information about optional "Find Theorems" form;	Makarius Wenzel	2007-06-13
\|
*	reverted find theorems default from form to minibuffer	weber	2007-06-11
\|
*	Updated.	David Aspinall	2007-06-10
\|
*	New files.	David Aspinall	2007-06-10
\|
*	Cleanup mac init, make it compile safe	David Aspinall	2007-06-10
\|
*	Set version tag for new release.	David Aspinall	2007-06-10
\|
*	Set version tag for new release.	David Aspinall	2007-06-08
\|
*	Set version tag for new release.	David Aspinall	2007-06-05
\|
*	Updated.	David Aspinall	2007-05-25
\|
*	New files.	David Aspinall	2007-05-25
\|
*	Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall.	David Aspinall	2007-05-25
\|
*	XEmacs 21.4.15 does not seem to know propertize	weber	2007-05-17
\|
*	Comment on remove of proof-indent-pad-eol	David Aspinall	2007-05-15
\|
*	Clarify buf hist activation.	David Aspinall	2007-05-15
\|
*	Fix rename	weber	2007-05-11
\|
*	Fix rename	weber	2007-05-11
\|
*	works with XEmacs now (ticket #115)	weber	2007-05-11
\|
*	Fix rename	David Aspinall	2007-05-11
\|
*	Rename [proof]find-theorems -> isar-find-theorems	David Aspinall	2007-05-11
\|
*	Renamed file	David Aspinall	2007-05-11
\|
*	Renamed file	David Aspinall	2007-05-11
\|
*	Experimental patch for unicode/mac support	David Aspinall	2007-05-11
\|
*	Unicode patch, in progress	David Aspinall	2007-05-11
\|
*	Patch for Mac	David Aspinall	2007-05-11
\|
*	New files.	David Aspinall	2007-05-11
\|
*	Font from Norbert Voelker	David Aspinall	2007-05-11
\|
*	Target for dfont	David Aspinall	2007-05-11
\|
*	Path for docstring-magic	David Aspinall	2007-05-10
\|
*	Fix library name	David Aspinall	2007-05-10
\|
*	Set version tag for new release.	David Aspinall	2007-05-10
\|
*	Disable unicode use on LEGO, uses escape prefix	David Aspinall	2007-05-10
\|
*	Note trac generic user pgemacs/pgemacs	David Aspinall	2007-05-10
\|
*	Add experimental find theorems form (not working on all Emacs yet)	David Aspinall	2007-05-10
\|
*	Patch for utf-8 test	David Aspinall	2007-05-10
\|
*	Emulate find-coding-system for GNU Emacs	David Aspinall	2007-05-10
\|
*	New files.	David Aspinall	2007-05-10
\|
*	Fix walk through example for Isabelle2007, including missing line	David Aspinall	2007-05-10
\| \| \| \|	pointed out by Ivan Filippenko.
*	pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ↵	David Aspinall	2007-05-10
\| \| \| \|	messages.