proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Remove isabelle image from splash screen	David Aspinall	2002-08-29
\|
*	New theorem deps settings	David Aspinall	2002-08-29
\|
*	proper setup for theorem dependencies;	Makarius Wenzel	2002-08-27
\|
*	Updated.	David Aspinall	2002-08-16
\|
*	Use shared span menu	David Aspinall	2002-08-16
\|
*	Name changes; span menu extensions; load theorem dependencies patch.	David Aspinall	2002-08-16
\|
*	Remove comment at the end testing feature. See etc/isar/Parsing.thy instead.	David Aspinall	2002-08-12
\|
*	Enable variable highlighting in case experimental features enabled.	David Aspinall	2002-08-12
\|
*	Updated	David Aspinall	2002-08-12
\|
*	Deleted file	David Aspinall	2002-08-09
\|
*	proof-splash-display-image -> proof-get-image; generalise for xpm images.	David Aspinall	2002-08-08
\|
*	Variable name change proof-comment-{start,end}-regexp -> ↵	David Aspinall	2002-07-19
\| \| \| \|	proof-script-comment-{start,end}-regexp.
*	Use x-symbol-enable switch to see whether to include sub/super/bold flks.	David Aspinall	2002-07-18
\|
*	Fix goals font lock keywords.	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	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.
*	Add more nags	David Aspinall	2002-07-16
\|
*	Revert some premature changes in x-sym support	David Aspinall	2002-07-16
\|
*	Tracing bug	David Aspinall	2002-07-14
\|
*	Remove FIXME: have added definition of font-lock-preprocessor-face	David Aspinall	2002-07-02
\|
*	Adjust syntax tables.	David Aspinall	2002-07-01
\|
*	Adjust load order, and try to load a good isar-keywords file. Add several ↵	David Aspinall	2002-07-01
\| \| \| \|	FIXMEs.
*	Add code to test new parser.	David Aspinall	2002-07-01
\|
*	Revert to previous version. Explain existence of other versions	David Aspinall	2002-06-30
\|
*	Fix to prevent {* being considered a command, flag edits	David Aspinall	2002-06-24
\|
*	Remove auto-mode-alist hack, and require on x-symbol-isabelle [TESTING].	David Aspinall	2002-06-24
\|
*	GPL update	David Aspinall	2002-06-21
\|
*	New files.	David Aspinall	2002-06-12
\|
*	Fix bug in string syntax in isar-strip-terminators: did this work correctly ↵	David Aspinall	2002-06-08
\| \| \| \|	before?
*	Program [broken]	David Aspinall	2002-06-08
\|
*	Add types_code and friends	David Aspinall	2002-06-05
\|
*	tuned isar-strip-terminators;	Makarius Wenzel	2002-05-10
\|
*	tuned comment;	Makarius Wenzel	2002-05-03
\|
*	tuned proof-next-error setup;	Makarius Wenzel	2002-05-03
\|
*	Added support for proof-shell-next-error	David Aspinall	2002-05-03
\|
*	Add support for proof-next-error.	David Aspinall	2002-05-03
\|
*	option -g GEOMETRY;	Makarius Wenzel	2002-02-12
\|
*	observe isar-undo-ignore-regexp in isar-count-undos and isar-find-and-forget;	Makarius Wenzel	2002-02-12
\|
*	added isar-undo-ignore-regexp;	Makarius Wenzel	2002-02-12
\|
*	more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;	Makarius Wenzel	2002-02-08
\|
*	tuned comment;	Makarius Wenzel	2002-01-26
\|
*	Isabelle2002 instead of Isabelle2001;	Makarius Wenzel	2002-01-21
\|
*	Whitespace	David Aspinall	2002-01-16
\|
*	Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook	David Aspinall	2002-01-16
\|
*	Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp	David Aspinall	2002-01-16
\|
*	tuned;	Makarius Wenzel	2001-12-27
\|
*	updated;	Makarius Wenzel	2001-12-27
\|