proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	More elaborate error messages in proof-easy-config-check-setup.	David Aspinall	2004-04-02
\|
*	Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to ↵	David Aspinall	2004-04-02
\| \| \| \|	startup.
*	Add various GNU <-> XE compatibility functions for display.	David Aspinall	2004-04-02
\|
*	Comments. Beginning of drag region code.	David Aspinall	2004-04-02
\|
*	Adjust proof-shell-wait to use less CPU w/o timeout	David Aspinall	2004-03-30
\|
*	Add get-window-with-predicate to perhaps solve issue with XEmacs.	David Aspinall	2004-03-30
\|
*	Add proof-assistant-symbol to (spurious) error msg	David Aspinall	2004-03-30
\|
*	generic-find-and-forget: handle proof-forget-id-command not being set	David Aspinall	2004-03-30
\|
*	Mention importance of proof-shell-annotated-prompt-regexp.	David Aspinall	2004-03-30
\|
*	Set version tag for new release.	David Aspinall	2004-03-23
\|
*	.v7 and .v8 added as coq file possible extensions.	Pierre Courtieu	2004-03-19
\|
*	holes debugging.	Pierre Courtieu	2004-03-17
\|
*	menu, holes and abbrev made better.	Pierre Courtieu	2004-03-17
\|
*	bug fix in holes (call to proof-indent-line instead of funcall	Pierre Courtieu	2004-03-15
\| \| \| \|	indent-line-function).
*	holes-short-doc now is in view-mode.	Pierre Courtieu	2004-03-10
\|
*	dealing with compile warning for new "hole" code (end hopefully).	Pierre Courtieu	2004-03-10
\|
*	modification to avoid compile warnings (end)	Pierre Courtieu	2004-03-10
\| \| \| \|	+ some menu modifications
*	slight modif of holes short doc.	Pierre Courtieu	2004-03-10
\|
*	x-get-selection is obsolete for xemacs, made a macro	Pierre Courtieu	2004-03-10
\| \| \| \| \|	hole-get-selection defined as get-selection for xemacs, and x-get-selection for emacs.
*	bug corrections	Pierre Courtieu	2004-03-10
\|
*	Set version tag for new release.	David Aspinall	2004-03-02
\|
*	Fix a few compiler warnings	David Aspinall	2004-03-02
\|
*	Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs)	David Aspinall	2004-03-02
\|
*	Fix Emacs icon name clash problem	David Aspinall	2004-03-01
\|
*	Fix buglets shown up by byte compilation.	David Aspinall	2004-03-01
\|
*	Set version tag for new release.	David Aspinall	2004-03-01
\|
*	Beginnings of parsescript support	David Aspinall	2004-02-29
\|
*	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 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
\|
*	last commit was incomplete	Pierre Courtieu	2004-02-19
\|
*	Update (C)	David Aspinall	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.
*	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.
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Set version tag for new release.	David Aspinall	2004-02-08
\|
*	Remove more proofgeneral.org mail aliases	David Aspinall	2004-02-07
\|
*	Set version tag for new release.	David Aspinall	2004-02-07
\|
*	revoke broken indent fix	Gerwin Klein	2004-01-19
\|
*	Fix domain name	David Aspinall	2003-12-11
\|
*	Run checkdoc	David Aspinall	2003-10-05
\|
*	Set version tag for new release.	David Aspinall	2003-10-05
\|
*	Add interactive input setting, and extra flags for action.	David Aspinall	2003-10-05
\|
*	Set version tag for new release.	David Aspinall	2003-09-25
\|
*	Include class attribute in PGIP commands	David Aspinall	2003-09-24
\|