proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2000-09-18	complete set of keywords from IOA image;	Makarius Wenzel

2000-09-17	removed proof-shell-pre-sync-init-cmd (init now handled by -PI options	Makarius Wenzel
	in isabelle-command-line); tuned comments;
2000-09-17	-I option for Isar vs. classic Isabelle mode;	Makarius Wenzel
	tuned;
2000-09-15	isatool installfonts (for remote X-Symbol fonts);	Makarius Wenzel

2000-09-13	done: make help key bindings appear in "Show me ..." menu;	Makarius Wenzel

2000-09-07	removed "of", "congs";	Makarius Wenzel
	added "hints";
2000-09-03	removed unused variable C;	Makarius Wenzel

2000-09-02	more quoting;	Makarius Wenzel

2000-08-30	use isar-markup-ml;	Makarius Wenzel
	eliminated superficial semicolons; fixed proof-shell-quit-cmd;
2000-08-29	syntax: "?" made word char;	Makarius Wenzel

2000-08-28	Change name of mode: isar-proofscript-mode -> isar-mode and remove	David Aspinall
	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.
2000-08-28	cd command: add_path;	Makarius Wenzel

2000-08-28	-w false implies -x false;	Makarius Wenzel
	do not load proof-site.el here;
2000-08-16	isar-keywords-proof-improper;	Makarius Wenzel

2000-08-16	added isar-keywords-proof-improper;	Makarius Wenzel
	tuned;
2000-08-07	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-03	** 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-07-29	fixed isar-goals-font-lock-keywords;	Makarius Wenzel

2000-07-29	added "thm_deps", "overloaded";	Makarius Wenzel

2000-07-19	use ML_command to avoid unwanted output;	Makarius Wenzel

2000-07-08	proof-prog-name: use isabelle-command-line;	Makarius Wenzel
	removed misc junk;
2000-07-06	tuned help-menu-entries;	Makarius Wenzel

2000-07-01	improved help menu;	Makarius Wenzel
	replaced "help" by "welcome";
2000-07-01	removed 'help';	Makarius Wenzel
	added 'print_antiquotations', 'print_commands', 'print_trans_rules';
2000-06-30	added method_setup;	Makarius Wenzel

2000-06-27	Note about typing in shell buffer	David Aspinall

2000-06-27	Tidy	David Aspinall

2000-06-22	Extra note.	David Aspinall

2000-06-16	proper function-menu (fume) setup;	Makarius Wenzel

2000-06-16	Tuned x-symbol config, moved settings to isabelle-system.el	David Aspinall

2000-06-16	Deleted files.	David Aspinall

2000-06-15	Note to merge	David Aspinall

2000-06-10	new indentation setup;	Makarius Wenzel

2000-06-09	proof-shell-error-regexp;	Makarius Wenzel

2000-06-08	new indentation setup;	Makarius Wenzel
	completion-table: use isar-keywords-major;
2000-06-08	new indentation setup;	Makarius Wenzel

2000-06-08	isar-keywords-proof-open/close;	Makarius Wenzel

2000-06-08	proper indentation;	Makarius Wenzel

2000-06-07	Failed attempted hack to support ML files in isar mode (see comments in ↵	David Aspinall
	isar-preprocessing).
2000-06-06	Allowed ; to terminate a command by including it in regexp for cmdstart	David Aspinall
	Added completion for Isar keywords and X-symbol token names.
2000-06-05	isar-save-with-hole-regexp: proof-no-regexp;	Makarius Wenzel

2000-06-05	proof-indent-commands-regexp: use proof-no-regexp;	Makarius Wenzel
	isar-global-save-command-p: more robust wrt. empty prev span (malformed!?); isar-preprocessing: fixed terminator regexp;
2000-06-05	Removed defunct comments	David Aspinall

2000-06-05	Temporary bug fix to solve nil span error message	David Aspinall

2000-06-04	replaced isar-verbatim by isabelle-verbatim;	Makarius Wenzel
	added isar-strip-terminators;
2000-06-04	updated;	Makarius Wenzel

2000-06-04	replaced isar-verbatim by isabelle-verbatim;	Makarius Wenzel
	fixed output syntax table;