proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	Fix for splash hack for theory files when proo-splash-inhibit=t.	David Aspinall	1998-12-10
*	Added clear-goals-buffer stuff, asked for response to be left after use_thy.	David Aspinall	1998-11-26
*	FSF Emacs fix for buffer-file-truename, which is the	David Aspinall	1998-11-25
*	Fixes to debug long standing not-showing-first-goal problem.	David Aspinall	1998-11-25
*	Added Isamode-like keybinding C-c C-l for proof-prf.	David Aspinall	1998-11-25
*	Improvements for multiple files and robustness: keep a copy of	David Aspinall	1998-11-20
*	Added isa-update function. Altered settings.	David Aspinall	1998-11-18
*	Fixed problem with list_loaded_files and update().	David Aspinall	1998-11-18
*	Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneral	David Aspinall	1998-11-18
*	Bug in regexp	David Aspinall	1998-11-12
*	In a fit of autocracy, removed proof-tags-support, binding for	David Aspinall	1998-11-12
*	Fixed error regexp	David Aspinall	1998-11-12
*	Replaced custom-set-variables with customize-set-variable:	David Aspinall	1998-11-12
*	Disabled problematic requires temporarily.	David Aspinall	1998-11-10
*	Removed references of proof-shell-noise-regexp	Thomas Kleymann	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 key binding to switch between theory and ML files.	David Aspinall	1998-11-04
*	Disabled annotated prompts because of strange bug.	David Aspinall	1998-11-03
*	Work on improving regular expressions for Isabelle.	David Aspinall	1998-11-03
*	fixed minor bugs	Thomas Kleymann	1998-11-02
*	Fixes for multiple files. More defcustoms.	David Aspinall	1998-10-29
*	Crudely hacked Isabelle image onto splash screen.	David Aspinall	1998-10-29
*	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
*	Renamed proof-invisible-command proof-shell-invisible-command.	David Aspinall	1998-10-27
*	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
*	Disabled tags support for Isabelle.	David Aspinall	1998-10-07
*	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