proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	New files.	David Aspinall	2002-07-14
\|
*	Updated.	David Aspinall	2002-07-14
\|
*	Flag on cp	David Aspinall	2002-07-14
\|
*	Updated.	David Aspinall	2002-07-14
\|
*	ws	David Aspinall	2002-07-14
\|
*	Remove use new parser	David Aspinall	2002-07-14
\|
*	Stick 3.4 stuff on end	David Aspinall	2002-07-14
\|
*	Tracing bug	David Aspinall	2002-07-14
\|
*	Add check changes	David Aspinall	2002-07-14
\|
*	Fix authorship	David Aspinall	2002-07-14
\|
*	Add prune to update	David Aspinall	2002-07-14
\|
*	Try to debug	David Aspinall	2002-07-14
\|
*	Updated.	David Aspinall	2002-07-14
\|
*	Set version tag for new release.	David Aspinall	2002-07-14
\|
*	Reformat	David Aspinall	2002-07-14
\|
*	Typo	David Aspinall	2002-07-14
\|
*	Remove 3.3 download, encourage test version use.	David Aspinall	2002-07-14
\|
*	Rewrite history	David Aspinall	2002-07-14
\|
*	Move 3.3 to oldrel	David Aspinall	2002-07-14
\|
*	Improve layout	David Aspinall	2002-07-14
\|
*	Tweaks for forms.	David Aspinall	2002-07-14
\|
*	Improve layout.	David Aspinall	2002-07-14
\|
*	Simplify system infos.	David Aspinall	2002-07-14
\|
*	New files.	David Aspinall	2002-07-14
\|
*	Layout, comments.	David Aspinall	2002-07-14
\|
*	Move project desc to features listing	David Aspinall	2002-07-14
\|
*	Improve layout	David Aspinall	2002-07-14
\|