proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Deleted file	David Aspinall	2004-02-28
\|
*	New files.	David Aspinall	2004-02-28
\|
*	* empty log message *	David Aspinall	2004-02-28
\|
*	Fix loc	David Aspinall	2004-02-28
\|
*	New files.	David Aspinall	2004-02-28
\|
*	New files.	David Aspinall	2004-02-28
\|
*	New files.	David Aspinall	2004-02-28
\|
*	Updates of X-Symbol mode text	David Aspinall	2004-02-28
\|
*	Comments.	David Aspinall	2004-02-28
\|
*	little bug correction of holes	Pierre Courtieu	2004-02-26
\|
*	little changes in the holes short doc	Pierre Courtieu	2004-02-26
\|
*	little changes of menu/holes/abbrev in coq/pg	Pierre Courtieu	2004-02-26
\|
*	added menu entries to tactic menus	Pierre Courtieu	2004-02-19
\|
*	added submenus for command insertion for coq. menu uses abbrev	Pierre Courtieu	2004-02-19
\| \| \| \|	expansion to build holes.
*	added some lines in holes short doc. And some abbrevs for coq.	Pierre Courtieu	2004-02-19
\|
*	added some words to hole short doc	Pierre Courtieu	2004-02-19
\|
*	added some menu entries for coq.	Pierre Courtieu	2004-02-19
\|
*	last commit was incomplete	Pierre Courtieu	2004-02-19
\|
*	Update (C)	David Aspinall	2004-02-18
\|
*	Coq Abbrevs now make holes. I will add a menu with basic command.	Pierre Courtieu	2004-02-18
\|
*	holes implementation, it uses span.el. mouse keybindings work	Pierre Courtieu	2004-02-18
\| \| \| \|	correctly for xemacs (any version) and emacs > 21.
*	Avoid type error if coq program can't be found during startup.	David Aspinall	2004-02-17
\|
*	forgot some functions in span-extent.el. This is like the previous	Pierre Courtieu	2004-02-16
\| \| \| \|	commit, for "holes" integration.
*	I added some utility functions in generic/span-overlays.el and	Pierre Courtieu	2004-02-16
\| \| \| \|	generic/span-extent.el. This is for my "holes" feature integration.
*	Added some interface stuff:	Pierre Courtieu	2004-02-11
\| \| \| \| \| \| \|	- an default coq abbrev file, loaded only if no abbrev table exists for coq; - some menu entries and shortcuts for abbrev; - a menu entry for "3 buffers view".
*	little error in the syntax corrected.	Pierre Courtieu	2004-02-11
\|
*	Remove offending domain name	David Aspinall	2004-02-10
\|
*	Updated.	David Aspinall	2004-02-10
\|
*	Updated.	David Aspinall	2004-02-10
\|
*	Updated.	David Aspinall	2004-02-09
\|
*	Updated.	David Aspinall	2004-02-08
\|
*	Add logupdate target (still not part of default build process)	David Aspinall	2004-02-08
\|
*	Updated	David Aspinall	2004-02-08
\|
*	Web page todo	David Aspinall	2004-02-08
\|
*	Renamed file	David Aspinall	2004-02-08
\|
*	Updated.	David Aspinall	2004-02-08
\|
*	Fix link	David Aspinall	2004-02-08
\|
*	Updated.	David Aspinall	2004-02-08
\|
*	Comments about prereleasetag	David Aspinall	2004-02-08
\|
*	Clean releasedir after golive	David Aspinall	2004-02-08
\|
*	Try to remove link to ProofGeneral from web area.	David Aspinall	2004-02-08
\|
*	Update some urls	David Aspinall	2004-02-08
\|
*	Update magic	David Aspinall	2004-02-08
\|
*	Fix web addresses	David Aspinall	2004-02-08
\|
*	Tweak golive	David Aspinall	2004-02-08
\|
*	Updated.	David Aspinall	2004-02-08
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	New files.	David Aspinall	2004-02-08
\|
*	Updated.	David Aspinall	2004-02-08
\|
*	Deleted file	David Aspinall	2004-02-08
\|