proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Remove isabelle image from splash screen	David Aspinall	2002-08-29
\|
*	Search for isabelle binary in standard places.	David Aspinall	2002-08-29
\|
*	Dependencies classed as experimental.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	New theorem deps settings	David Aspinall	2002-08-29
\|
*	Add missing semicolon.	David Aspinall	2002-08-28
\|
*	Deleted file	David Aspinall	2002-08-28
\|
*	proper setup for theorem dependencies;	Makarius Wenzel	2002-08-27
\|
*	Add example of sub/sup/bold in comment.	David Aspinall	2002-08-26
\|
*	Add span menu for thm_deps	David Aspinall	2002-08-16
\|
*	Identifier name change	David Aspinall	2002-08-16
\|
*	Variable name change	David Aspinall	2002-08-16
\|
*	Dont force isatool to be found	David Aspinall	2002-08-13
\|
*	Enable variable highlighting in case experimental features enabled.	David Aspinall	2002-08-12
\|
*	Updated	David Aspinall	2002-08-12
\|
*	Simplify theorem dep / Isabelle patch loading	David Aspinall	2002-08-08
\|
*	Remove proof-shared-menu.	David Aspinall	2002-08-08
\|
*	Set proof-shell-show-dependency-cmd	David Aspinall	2002-08-08
\|
*	Updated for Isabelle2002.	David Aspinall	2002-08-08
\|
*	proof-splash-display-image -> proof-get-image; generalise for xpm images.	David Aspinall	2002-08-08
\|
*	Support missing/faked isatool	David Aspinall	2002-07-19
\|
*	Merge changes and comments sent by Christoph Wedler	David Aspinall	2002-07-19
\|
*	Variable name change proof-comment-{start,end}-regexp -> ↵	David Aspinall	2002-07-19
\| \| \| \|	proof-script-comment-{start,end}-regexp.
*	Bug in load-isar-keywords	David Aspinall	2002-07-19
\|
*	Nuke X-sym warnings	David Aspinall	2002-07-18
\|
*	Cleanups	David Aspinall	2002-07-18
\|
*	Fix sub/sups; defer loading x-symbol-isabelle.	David Aspinall	2002-07-18
\|
*	Fix active variable highlighting in Isabelle with X-Symbol.	David Aspinall	2002-07-18
\|
*	Support subterm help facility (not quite working)	David Aspinall	2002-07-17
\|
*	Update versions/TODO	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
\|
*	Patch so works without x-symbol	David Aspinall	2002-07-16
\|
*	Merge patches from Christoph, and add Isabelle/Isar capabilities	David Aspinall	2002-07-16
\|
*	Tracing bug	David Aspinall	2002-07-14
\|
*	Doc difference between isa and isar, fix prob with isa support.	David Aspinall	2002-07-01
\|
*	Added isabelle-load-isar-keywords mimic of script startup.	David Aspinall	2002-07-01
\|
*	Fix x-symbol-isabelle-input-token-grammar to remove spurious backslashes	David Aspinall	2002-06-30
\|
*	Fix GNU Emacs/X-Symbol compatibility for sml-sym-face added by Lucas Dixon.	David Aspinall	2002-06-30
\|
*	Add Emacs mode comments at top	David Aspinall	2002-06-24
\|
*	Move auto-mode-alist hack here now Isar is default.	David Aspinall	2002-06-24
\|
*	Fix comment	David Aspinall	2002-06-24
\|
*	[TESTING] support for latest version of X-Symbol (back compat broken).	David Aspinall	2002-06-24
\|
*	Hack to avoid loading x-symbol-isabelle	David Aspinall	2002-06-24
\|
*	GPL update	David Aspinall	2002-06-21
\|
*	Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)	David Aspinall	2002-05-21
\|
*	Updated list of SML keywords	David Aspinall	2002-04-24
\|
*	Add syntax highlighting cahanges from Lucas Dixon	David Aspinall	2002-04-23
\|
*	Fix for E21 with isa-pre-shell-start.	David Aspinall	2002-04-23
\|