proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Updated magic	David Aspinall	2004-04-17
\|
*	Updated.	David Aspinall	2004-04-17
\|
*	Escape { and }	David Aspinall	2004-04-17
\|
*	Add missing menu entry.	David Aspinall	2004-04-17
\|
*	Set version tag for new release.	David Aspinall	2004-04-17
\|
*	Updated.	David Aspinall	2004-04-17
\|
*	Note about bad pgscripts editing	David Aspinall	2004-04-17
\|
*	Updated.	David Aspinall	2004-04-17
\|
*	Compiler warnings	David Aspinall	2004-04-17
\|
*	Minor changes to avoid some compiler warnings	David Aspinall	2004-04-17
\|
*	Fix bug in replace-in-string for GNU Emacs	David Aspinall	2004-04-17
\|
*	Clean up, re-order, change priorities, remove done things.	David Aspinall	2004-04-17
\|
*	Clarify that it is right to query saves in proof-retract-until-point's call	David Aspinall	2004-04-17
\| \| \| \|	of proof-activate-scripting.
*	Updated.	David Aspinall	2004-04-17
\|
*	Comments.	David Aspinall	2004-04-17
\|
*	Fix isa-tool-list-docs for altered form of output from isatool doc	David Aspinall	2004-04-17
\|
*	Update magic	David Aspinall	2004-04-17
\|
*	Update dates, update magic, doc proof-cannot-reopen-processed-files.	David Aspinall	2004-04-17
\|
*	Numerous updates and improvements:	David Aspinall	2004-04-17
\| \| \| \| \| \| \| \| \|	- Walkthrough changed from LEGO to Isabelle/Isar - Documentation of new shortcuts in Isar - Documentation of Isabelle's Settings/Logics choice - Documentation of PG Shell - Date updates, version updates - Personnel updates
*	Add shortcuts for new X-Symbol sequences.	David Aspinall	2004-04-17
\|
*	Oops, remove junk.	David Aspinall	2004-04-17
\|
*	Escape the string from substitute-command-keys in proof-defshortcut, ↵	David Aspinall	2004-04-17
\| \| \| \|	proof-definvisible.
*	Comments.	David Aspinall	2004-04-17
\|
*	Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵	David Aspinall	2004-04-17
\| \| \| \|	for Isabelle.
*	Updated.	David Aspinall	2004-04-17
\|
*	Clear the stuff to do before 3.5	David Aspinall	2004-04-17
\|
*	Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵	David Aspinall	2004-04-17
\| \| \| \|	for Isabelle.
*	imenu todo	David Aspinall	2004-04-17
\|
*	Capitalization.	David Aspinall	2004-04-17
\|
*	Mention supported Emacs versions	David Aspinall	2004-04-17
\|
*	Lighter background colour for proof-error-face	David Aspinall	2004-04-17
\|
*	Note about font-lock problem in XE 21.4.x x<11	David Aspinall	2004-04-17
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Add boundp check to proof-map-multiple-frame-specifiers, for some back ↵	David Aspinall	2004-04-16
\| \| \| \|	compatibility.
*	New files.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Fix my email addr.	David Aspinall	2004-04-16
\|
*	Use own name instead of hiding behind mythical PG team	David Aspinall	2004-04-16
\|
*	Spurious "'s	David Aspinall	2004-04-16
\|
*	Moved handling of mixed undo into the CCC, so there is now just one undo() cmd.	cxl	2004-04-16
\|
*	fix typo in isar-long-id-stuff	Gerwin Klein	2004-04-16
\|
*	fix typo in isar-long-id-stuff	Gerwin Klein	2004-04-16
\|
*	ccc-count-undos: declare str (doesnae fix bug though)	David Aspinall	2004-04-16
\|
*	little fix for x-symbols coq.	Pierre Courtieu	2004-04-16
\|
*	Add FAQ about .elcs failing in GNU Emacs.	David Aspinall	2004-04-16
\|
*	modified the noteq token (become '<>' ).	Pierre Courtieu	2004-04-16
\|
*	Fix URL	David Aspinall	2004-04-16
\|
*	Oops, another stray old URL...	David Aspinall	2004-04-16
\|
*	added an example fils for coq x-symbols.	Pierre Courtieu	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|