proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Added Prefixes: tag	David Aspinall	2000-09-21
\|
*	Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ↵	David Aspinall	2000-09-21
\| \| \| \|	tars (why was it done?).
*	Make PG-adapting first so index.html left pointing to main manual	David Aspinall	2000-09-21
\|
*	added Isabelle symbols for parendblleft/parendblright glyphs (will be	Makarius Wenzel	2000-09-21
\| \| \| \| \|	present in X-Symbol-3.3e; should not cause problems with older versions);
*	Newlines.	David Aspinall	2000-09-21
\|
*	Tweaked abort button	David Aspinall	2000-09-21
\|
*	Improved adding more lisp code chapter.	David Aspinall	2000-09-21
\|
*	Changed ChangeLog target to use rcs2log directly. Added developer's ↵	David Aspinall	2000-09-21
\| \| \| \|	details, correct emails.
*	Removed blurry distinction between block-comment and comment in FSF's ↵	David Aspinall	2000-09-21
\| \| \| \|	buffer-syntactic-context
*	** D support proof-next-error?	Makarius Wenzel	2000-09-21
\|
*	tuned comment;	Makarius Wenzel	2000-09-21
\|
*	bug2: Resolved as of 17.9.00;	Makarius Wenzel	2000-09-21
\|
*	fixed "Dagstuhl";	Makarius Wenzel	2000-09-21
\|
*	done: exit isar;	Makarius Wenzel	2000-09-21
\| \| \| \|	added comment about output performance;
*	added -X option;	Makarius Wenzel	2000-09-20
\|
*	Set version tag for new release.	David Aspinall	2000-09-20
\|
*	Comments	David Aspinall	2000-09-20
\|
*	Disable toolbar enablers on win32.	David Aspinall	2000-09-20
\|
*	New generated buttons.	David Aspinall	2000-09-20
\|
*	Add new button	David Aspinall	2000-09-20
\|
*	added abort button	Christophe Raffalli	2000-09-20
\|
*	abort button	Christophe Raffalli	2000-09-20
\|
*	dirty bug fix in next-span to avoid loops with FSF Emacs	Christophe Raffalli	2000-09-20
\|
*	made \<> word characters (accomodates symbol representation);	Makarius Wenzel	2000-09-19
\|
*	installfonts only when using X window system;	Makarius Wenzel	2000-09-19
\|
*	isar-toolbar-entries: remove 'goal and 'qed;	Makarius Wenzel	2000-09-19
\|
*	removed junk;	Makarius Wenzel	2000-09-19
\|
*	improved xsymbol config: include info dir, only init for XEmacs;	Makarius Wenzel	2000-09-19
\|
*	done: ability to choose logic;	Makarius Wenzel	2000-09-19
\|
*	isa: DEFAULT_FILES="Scratch.thy Scratch.ML";	Makarius Wenzel	2000-09-19
\|
*	Isabelle version: 99-1;	Makarius Wenzel	2000-09-19
\| \| \| \|	tuned;
*	Isabelle version: 99-1;	Makarius Wenzel	2000-09-19
\|
*	more robust checking of xsymbol-home;	Makarius Wenzel	2000-09-18
\|
*	* empty log message *	Christophe Raffalli	2000-09-18
\|
*	changed proof-remove-comment to avoid using string-search (using ↵	Christophe Raffalli	2000-09-18
\| \| \| \|	string-match instead).
*	Updated	David Aspinall	2000-09-18
\|
*	Get rid of proof-segment-up-to-old.	David Aspinall	2000-09-18
\|
*	Added bug fix section and patch for undefined	David Aspinall	2000-09-18
\| \| \| \|	font-lock-preprocessor-face in FSF Emacs.
*	Emulate buffer-syntactic-context on FSF Emacs	David Aspinall	2000-09-18
\|
*	Remove twelf-config-mode variable check, to allow functions	David Aspinall	2000-09-18
\| \| \| \|	here to work with PG (without loading twelf-old.el).
*	Improvements to support: needs work in segment-up-to, though.	David Aspinall	2000-09-18
\|
*	complete set of keywords from IOA image;	Makarius Wenzel	2000-09-18
\|
*	Set version tag for new release.	David Aspinall	2000-09-18
\|
*	silent-cmd and init-cmd: activate Isabelle99-1 versions;	Makarius Wenzel	2000-09-17
\|
*	removed proof-shell-pre-sync-init-cmd (init now handled by -PI options	Makarius Wenzel	2000-09-17
\| \| \| \| \|	in isabelle-command-line); tuned comments;
*	isabelle-command-line: include -PI options for isar;	Makarius Wenzel	2000-09-17
\| \| \| \|	activate global-timing;
*	this file is now a COPY of isar/interface;	Makarius Wenzel	2000-09-17
\|
*	-I option for Isar vs. classic Isabelle mode;	Makarius Wenzel	2000-09-17
\| \| \| \|	tuned;
*	isatool installfonts (for remote X-Symbol fonts);	Makarius Wenzel	2000-09-15
\|
*	various fixes.	Christophe Raffalli	2000-09-15
\| \| \| \|	.