proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Begun work on adding more special annotations for Isabelle.	David Aspinall	1998-10-29
\|
*	More hacks to variable names for customize (sorry)	David Aspinall	1998-10-29
\|
*	Improved behaviour of Isabelle multiple files: don't retract parent theory.	David Aspinall	1998-10-28
\|
*	Fixed bug in Isabelle count undos. Now uses undo instead of choplev.	David Aspinall	1998-10-28
\|
*	Mods for cleaner byte compile	David Aspinall	1998-10-27
\|
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
\|
*	Fixed urgent message stuff. proof-shell-process-urgent-messages	David Aspinall	1998-10-27
\| \| \| \|	now seems to correctly observe all messages which pass through.
*	Renamed proof-invisible-command proof-shell-invisible-command.	David Aspinall	1998-10-27
\| \| \| \| \| \| \|	Removed superfluous optional 'relaxed' argument from: proof-shell-invisibile-command, proof-grab-lock, proof-start-queue.
*	Work on Isabelle theory reader.	David Aspinall	1998-10-27
\|
*	Fix buglet for when script buffer has no filename.	David Aspinall	1998-10-26
\|
*	Changes for locked regions in theory files	David Aspinall	1998-10-26
\|
*	Added support for locking Isabelle .thy files blue.	David Aspinall	1998-10-23
\|
*	Added proof-mode-for-script setting.	David Aspinall	1998-10-23
\|
*	Prevented .thy files from appearing in message buffer.	David Aspinall	1998-10-22
\|
*	Only load theory for script file if no locked region yet	David Aspinall	1998-10-22
\|
*	Added notes on Isa multi files, web page improvements	David Aspinall	1998-10-22
\|
*	Improved multiple file implementation	David Aspinall	1998-10-21
\|
*	Added functions to support multiple files, sending use_thy to Isabelle	David Aspinall	1998-10-21
\|
*	Isabelle program name is just 'isabelle'	David Aspinall	1998-10-20
\|
*	Customization for multiple files	David Aspinall	1998-10-19
\|
*	Bug in variable names	David Aspinall	1998-10-12
\|
*	Important regular expression fixes:	David Aspinall	1998-10-12
\| \| \| \| \| \|	-error-regexp doesn't match warnings now. -annotated-prompt-regexp doesn't match warnings now, and is different from -prompt-regexp.
*	Disabled tags support for Isabelle.	David Aspinall	1998-10-07
\| \| \| \| \| \| \| \|	Removed isabelle-settings defcustom, renamed to isabelle-. Renamed some customization variables isabelle-* for nice display in menus. Removed proof-assistant setting. Removed proof-global-p and isa-global-p. Renamed isa-thy-mode to thy-mode.
*	changed maintainer information to lego@dcs and isabelle@dcs .	Thomas Kleymann	1998-10-02
\|
*	Removed duff key bindings	David Aspinall	1998-10-02
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Changed configuration. Added goal-command and save-command.	David Aspinall	1998-10-01
\|
*	Minor	David Aspinall	1998-09-24
\|
*	Removed tags stuff	David Aspinall	1998-09-23
\|
*	Added back isabelle-settings group	David Aspinall	1998-09-23
\|
*	Changed customization group, added goal command, better docs	David Aspinall	1998-09-23
\|
*	Added theory file mode from Isamode.	David Aspinall	1998-09-17
\|
*	Fixes to syntax and startup function.	David Aspinall	1998-09-11
\|
*	Added Id to headers.	David Aspinall	1998-09-09
\|
*	More features working. Added example.	David Aspinall	1998-09-08
\|
*	Renamed/added defcustom support.	David Aspinall	1998-09-03