proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Documentation about the improved multiple file handling functions.	David Aspinall	1999-10-21
\|
*	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall	1999-10-21
\|
*	todo to improve proof-script-next-entity-regexps.	David Aspinall	1999-10-21
\|
*	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall	1999-10-21
\|
*	Renamed proof-shell-inform-file-processed-cmd	David Aspinall	1999-10-21
\|
*	Added proof-shell-inform-file-processed-cmd	David Aspinall	1999-10-21
\|
*	typo	David Aspinall	1999-10-21
\|
*	Changed name to proof-shell-inform-file-processed-cmd	David Aspinall	1999-10-21
\|
*	Revised bug section for Isabelle multiple file note.	David Aspinall	1999-10-21
\|
*	Added proof-shell-inform-file-processed-command setting.	David Aspinall	1999-10-21
\|
*	docstring	David Aspinall	1999-10-21
\|
*	A couple of comint symbols are mentioned in the docs	David Aspinall	1999-10-21
\|
*	Updated for new screenshot	David Aspinall	1999-10-21
\|
*	New screenshot	David Aspinall	1999-10-21
\|
*	Fixes.	David Aspinall	1999-10-20
\|
*	Fixed crossrefs.	David Aspinall	1999-10-20
\|
*	Set version tag for new release.	David Aspinall	1999-10-20
\|
*	Comments in proof-complete-buffer-atomic.	David Aspinall	1999-10-20
\|
*	Add isa-shell-update-thy at the end of proof-activate-scripting-hook.	David Aspinall	1999-10-20
\|
*	Updated with further issues raised by ever eager Munich folk.	David Aspinall	1999-10-20
\|
*	Minor change for testing.	David Aspinall	1999-10-20
\|
*	Made proof-site only load once.	David Aspinall	1999-10-20
\|
*	theory loader actions now that of PG/isa;	Makarius Wenzel	1999-10-20
\|
*	added ML_command;	Makarius Wenzel	1999-10-20
\|
*	added isar-detect-header;	Makarius Wenzel	1999-10-19
\| \| \| \|	tuned;
*	Added uncaught exception to error-regexp	David Aspinall	1999-10-19
\|
*	Rename proof-mark-buffer-atomic -> proof-complete-buffer-atomic. make magic	David Aspinall	1999-10-19
\|
*	Issues added after report from DvO.	David Aspinall	1999-10-19
\|
*	Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.	David Aspinall	1999-10-19
\|
*	Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic. Fix to only ↵	David Aspinall	1999-10-19
\| \| \| \|	close off to (proof-script-end), not (point-max).
*	Deactivate scripting before retracting a theory file. Fix for DvO's report.	David Aspinall	1999-10-19
\|
*	Missing cursor move	David Aspinall	1999-10-18
\|
*	Note about queue improvements.	David Aspinall	1999-10-15
\|
*	Fixed bug	David Aspinall	1999-10-15
\|
*	FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.	David Aspinall	1999-10-15
\|
*	Docstring improvements	David Aspinall	1999-10-15
\|
*	Updated	David Aspinall	1999-10-15
\|
*	Doc fixes, php streamlining	David Aspinall	1999-10-15
\|
*	Whitespace	David Aspinall	1999-10-15
\|
*	Failed attempt to fix sentinel problem	David Aspinall	1999-10-15
\|
*	comments added.	David Aspinall	1999-10-15
\|
*	Formatting	David Aspinall	1999-10-15
\|
*	let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;	Makarius Wenzel	1999-10-15
\|
*	Disabled proliferation of proof shell buffers.	David Aspinall	1999-10-15
\|
*	Set version tag for new release.	David Aspinall	1999-10-14
\|
*	Version 3.0 message	David Aspinall	1999-10-14
\|
*	Docstring	David Aspinall	1999-10-14
\|
*	Fix missing save-excursion causing bug with proof-process-buffer.	David Aspinall	1999-10-14
\|
*	renamed verbatim/verb to text_raw/txt_raw;	Makarius Wenzel	1999-10-14
\|
*	Removed note about probs with update()	David Aspinall	1999-10-12
\|