proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	tuned font-lock-keywords;	Makarius Wenzel	2000-12-06
\|
*	added -m option;	Makarius Wenzel	2000-12-01
\|
*	disable trace option;	Makarius Wenzel	2000-11-22
\|
*	converted from sh back to bash;	Makarius Wenzel	2000-11-21
\| \| \| \| \|	use "#!/usr/bin/env bash" as interpreter to determine bash from PATH; handle spaces in file names;
*	tuned isar-goals-font-lock-keywords;	Makarius Wenzel	2000-10-31
\|
*	tuned font-lock-keywords;	Makarius Wenzel	2000-10-30
\|
*	font-lock support for antiquotations;	Makarius Wenzel	2000-10-26
\|
*	isar-web-page;	Makarius Wenzel	2000-09-28
\|
*	** C func-menu: observe proof-syntactic-context (general problem of	Makarius Wenzel	2000-09-27
\| \| \| \|	func-menu setup?);
*	removed broken outline stuff;	Makarius Wenzel	2000-09-27
\|
*	tuned docstring;	Makarius Wenzel	2000-09-27
\|
*	use plain /bin/sh instead of bash;	Makarius Wenzel	2000-09-21
\|
*	** D support proof-next-error?	Makarius Wenzel	2000-09-21
\|
*	tuned comment;	Makarius Wenzel	2000-09-21
\|
*	added -X option;	Makarius Wenzel	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
\|
*	isa: DEFAULT_FILES="Scratch.thy Scratch.ML";	Makarius Wenzel	2000-09-19
\|
*	Isabelle version: 99-1;	Makarius Wenzel	2000-09-19
\| \| \| \|	tuned;
*	complete set of keywords from IOA image;	Makarius Wenzel	2000-09-18
\|
*	removed proof-shell-pre-sync-init-cmd (init now handled by -PI options	Makarius Wenzel	2000-09-17
\| \| \| \| \|	in isabelle-command-line); tuned comments;
*	-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
\|
*	done: make help key bindings appear in "Show me ..." menu;	Makarius Wenzel	2000-09-13
\|
*	removed "of", "congs";	Makarius Wenzel	2000-09-07
\| \| \| \|	added "hints";
*	removed unused variable C;	Makarius Wenzel	2000-09-03
\|
*	more quoting;	Makarius Wenzel	2000-09-02
\|
*	use isar-markup-ml;	Makarius Wenzel	2000-08-30
\| \| \| \| \|	eliminated superficial semicolons; fixed proof-shell-quit-cmd;
*	syntax: "?" made word char;	Makarius Wenzel	2000-08-29
\|
*	Change name of mode: isar-proofscript-mode -> isar-mode and remove	David Aspinall	2000-08-28
\| \| \| \| \| \| \|	alias. Regular mode name needed for fancy macros. Use proof-definvisible fancy macro to define help menu functions. Removed parentheses from menu entries so key bindings show up.
*	cd command: add_path;	Makarius Wenzel	2000-08-28
\|
*	-w false implies -x false;	Makarius Wenzel	2000-08-28
\| \| \| \|	do not load proof-site.el here;
*	isar-keywords-proof-improper;	Makarius Wenzel	2000-08-16
\|
*	added isar-keywords-proof-improper;	Makarius Wenzel	2000-08-16
\| \| \| \|	tuned;
*	added outline mode setup (still not quite working as expected);	Makarius Wenzel	2000-08-07
\|
*	cleaned up outline stuff;	Makarius Wenzel	2000-08-07
\|
*	new category isar-keywords-proof-heading;	Makarius Wenzel	2000-08-07
\|
*	** B make help key bindings appear in "Show me ..." menu;	Makarius Wenzel	2000-08-03
\|
*	added isar-help functions / keys (how do I get keys into menus?);	Makarius Wenzel	2000-08-03
\|
*	fixed isar-goals-font-lock-keywords;	Makarius Wenzel	2000-07-29
\|
*	added "thm_deps", "overloaded";	Makarius Wenzel	2000-07-29
\|
*	use ML_command to avoid unwanted output;	Makarius Wenzel	2000-07-19
\|
*	proof-prog-name: use isabelle-command-line;	Makarius Wenzel	2000-07-08
\| \| \| \|	removed misc junk;
*	tuned help-menu-entries;	Makarius Wenzel	2000-07-06
\|
*	improved help menu;	Makarius Wenzel	2000-07-01
\| \| \| \|	replaced "help" by "welcome";
*	removed 'help';	Makarius Wenzel	2000-07-01
\| \| \| \|	added 'print_antiquotations', 'print_commands', 'print_trans_rules';
*	added method_setup;	Makarius Wenzel	2000-06-30
\|
*	Note about typing in shell buffer	David Aspinall	2000-06-27
\|