proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Comment.	David Aspinall	2004-04-13
\|
*	Fix comment.	David Aspinall	2004-04-13
\|
*	Fix long-lived typo in setting auto-mode-alist.	David Aspinall	2004-04-13
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Remove proof-shared-menu.	David Aspinall	2002-08-08
\|
*	Move auto-mode-alist hack here now Isar is default.	David Aspinall	2002-06-24
\|
*	GPL update	David Aspinall	2002-06-21
\|
*	Fix for names of functions in proof-depends	David Aspinall	2001-08-31
\|
*	Added Fiona's changes.	David Aspinall	2000-08-14
\|
*	Added proof-next-error to menu.	David Aspinall	2000-06-05
\|
*	Expanded menu	David Aspinall	2000-05-05
\|
*	Added menu item to switch to script buffer, C-c C-o key.	David Aspinall	2000-03-10
\|
*	Change SML minor mode binding to C-c C-m, avoiding clash with	David Aspinall	1999-11-29
\| \| \| \| \|	proof-interrupt-process. Add commands from proof-universal-keys to menu, and add all of proof-shared-menu.
*	Made thy-indent-level a user opt.	David Aspinall	1999-11-24
\|
*	More highlighting	David Aspinall	1999-11-14
\|
*	More theory file sections	David Aspinall	1999-11-12
\|
*	Changed read-no-blanks-input to read-string, former is defunct.	David Aspinall	1999-01-12
\|
*	Docstring tweak	David Aspinall	1998-12-15
\|
*	Documentation improvements.	David Aspinall	1998-11-25
\|
*	Docstring fixes, minor improvements.	David Aspinall	1998-11-25
\|
*	Docstring fixes	David Aspinall	1998-11-25
\|
*	Added Proof General menu to theory file mode.	David Aspinall	1998-11-18
\|
*	Disabled problematic requires temporarily.	David Aspinall	1998-11-10
\|
*	Fixes for byte compilations and missing bits of Isamode.	David Aspinall	1998-11-10
\|
*	Removed superfluous variable. Improved docstrings.	David Aspinall	1998-11-09
\|
*	Added prefix arg to thy-find-other-file to use same window	David Aspinall	1998-11-06
\|
*	Reimplemented thy-find-other-file	David Aspinall	1998-11-04
\|
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
\|
*	Removed Isamode-specific keybindings	David Aspinall	1998-10-26
\|
*	Added new theory file sections	David Aspinall	1998-10-23
\|
*	Customization for multiple files	David Aspinall	1998-10-19
\|
*	Renamed isa-thy-* to thy-*	David Aspinall	1998-10-07