proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Support subterm help facility	David Aspinall	2002-07-17
\|
*	Update versions/TODO	David Aspinall	2002-07-17
\|
*	Added subterm help popup facility	David Aspinall	2002-07-17
\|
*	Add span-string.	David Aspinall	2002-07-17
\|
*	Add proof-shell-invisible-cmd-get-result	David Aspinall	2002-07-17
\|
*	Add pg-subterm-help-cmd	David Aspinall	2002-07-17
\|
*	Cleanups	David Aspinall	2002-07-17
\|
*	Fix span-string, span-object	David Aspinall	2002-07-17
\|
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	Fix typo.	David Aspinall	2002-07-16
\|
*	Add conversion of idmarkup to subterm	David Aspinall	2002-07-16
\|
*	Updated.	David Aspinall	2002-07-16
\|
*	Add { and } example	David Aspinall	2002-07-16
\|
*	Fix crucial typo	David Aspinall	2002-07-16
\|
*	Updated.	David Aspinall	2002-07-16
\|
*	Make tags for both manuals.	David Aspinall	2002-07-16
\|
*	Tweak link creation/deletion	David Aspinall	2002-07-16
\|
*	Minor	David Aspinall	2002-07-16
\|
*	Updated	David Aspinall	2002-07-16
\|
*	Updated.	David Aspinall	2002-07-16
\|
*	Buggy tag	David Aspinall	2002-07-16
\|
*	Fix monospace typeface name	David Aspinall	2002-07-16
\|
*	Add more nags	David Aspinall	2002-07-16
\|
*	Edit for brevity	David Aspinall	2002-07-16
\|
*	Use linked style sheet, add charset metatag.	David Aspinall	2002-07-16
\|
*	Dodgy patch to fix selection ordering of overlays. PBP works in Emacs now.	David Aspinall	2002-07-16
\|
*	Patch so works without x-symbol	David Aspinall	2002-07-16
\|
*	Set version tag for new release.	David Aspinall	2002-07-16
\|
*	Link in LATESTNAME	David Aspinall	2002-07-16
\|
*	Fix comment	David Aspinall	2002-07-16
\|
*	Refactoring	David Aspinall	2002-07-16
\|
*	Comments	David Aspinall	2002-07-16
\|
*	Revert some premature changes in x-sym support	David Aspinall	2002-07-16
\|
*	Merge patches from Christoph, and add Isabelle/Isar capabilities	David Aspinall	2002-07-16
\|
*	Add char-to-int and friends, borrowed from x-symbol-emacs.	David Aspinall	2002-07-16
\|
*	Cleaning up PBP code	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
\|
*	Do not link devel release. Fix releasefinal to do that.	David Aspinall	2002-07-15
\|
*	Cleanup, details on versions	David Aspinall	2002-07-15
\|
*	Fix	David Aspinall	2002-07-15
\|
*	Tweak	David Aspinall	2002-07-15
\|
*	Add stuff for alternative DTD	David Aspinall	2002-07-15
\|
*	Put isa first	David Aspinall	2002-07-15
\|
*	Fix link, tag.	David Aspinall	2002-07-15
\|
*	Updated.	David Aspinall	2002-07-14
\|
*	Add links	David Aspinall	2002-07-14
\|
*	Mention developers list too	David Aspinall	2002-07-14
\|
*	Remove spurious white space	David Aspinall	2002-07-14
\|
*	font-series -> weight fixes.	David Aspinall	2002-07-14
\|