proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	David Aspinall	2002-08-07
\|
*	Set version tag for new release.	David Aspinall	2002-07-19
\|
*	Updated.	David Aspinall	2002-07-19
\|
*	Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.	David Aspinall	2002-07-18
\|
*	Record bug as solved.	David Aspinall	2002-07-18
\|
*	New files.	David Aspinall	2002-07-18
\|
*	More tests	David Aspinall	2002-07-18
\|
*	More comments on current bugs	David Aspinall	2002-07-18
\|
*	New files.	David Aspinall	2002-07-18
\|
*	fix README rename.	David Aspinall	2002-07-18
\|
*	Set version tag for new release.	David Aspinall	2002-07-18
\|
*	Rename READMEs for different provers so dont clash with doc directive.	David Aspinall	2002-07-18
\|
*	Update towards 3.4	David Aspinall	2002-07-18
\|
*	Set version tag for new release.	David Aspinall	2002-07-17
\|
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	Add { and } example	David Aspinall	2002-07-16
\|
*	Updated.	David Aspinall	2002-07-16
\|
*	Set version tag for new release.	David Aspinall	2002-07-16
\|
*	Example of using pbp	David Aspinall	2002-07-16
\|
*	Set version tag for new release.	David Aspinall	2002-07-15
\|
*	Updated.	David Aspinall	2002-07-14
\|
*	Add links	David Aspinall	2002-07-14
\|
*	Remove spurious white space	David Aspinall	2002-07-14
\|
*	New files.	David Aspinall	2002-07-14
\|
*	Set version tag for new release.	David Aspinall	2002-07-14
\|
*	New files.	David Aspinall	2002-07-14
\|
*	Cleanup html, fix URLs to final versions.	David Aspinall	2002-07-14
\|
*	First customized versions	David Aspinall	2002-07-13
\|
*	Fix up. Still ugly.	David Aspinall	2002-07-13
\|
*	New files.	David Aspinall	2002-07-13
\|
*	Tidy up source, improve titles.	David Aspinall	2002-07-13
\|
*	New files.	David Aspinall	2002-07-13
\|
*	Add some nesting examples	David Aspinall	2002-07-12
\|
*	Set version tag for new release.	David Aspinall	2002-07-01
\|
*	New files.	David Aspinall	2002-06-30
\|
*	Set version tag for new release.	David Aspinall	2002-06-20
\|
*	Add nested section example to increase the horror.	David Aspinall	2002-06-19
\|
*	Added End for sections, and silly test	David Aspinall	2002-06-19
\|
*	Updated with more notes	David Aspinall	2002-06-19
\|
*	Set version tag for new release.	David Aspinall	2002-06-19
\|
*	Added some non-undoable tactics	David Aspinall	2002-06-18
\|
*	Added some sections	David Aspinall	2002-06-18
\|
*	Fix	David Aspinall	2002-06-18
\|
*	Add more declarations	David Aspinall	2002-06-18
\|
*	More test cases, summary of situation.	David Aspinall	2002-06-12
\|
*	Note of another bug	David Aspinall	2002-06-12
\|
*	Add test t4 for extra depth of nesting	David Aspinall	2002-06-12
\|
*	Replace with example from Pierre	David Aspinall	2002-06-11
\|
*	New files.	David Aspinall	2002-06-11
\|
*	Add install for isartags	David Aspinall	2002-06-08
\|