proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
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;
2000-06-03	{ } are back;	Makarius Wenzel

2000-06-01	Removed now spurious semicolons, 8-).	David Aspinall

2000-06-01	Temporarily removed keywords { and } for new parsing mechanism	David Aspinall

2000-06-01	Remove setting of proof-segment-up-to	David Aspinall

2000-05-30	improved isar-goals-font-lock-keywords;	Makarius Wenzel

2000-05-30	isar-preprocessing inserts final terminator if none there.	David Aspinall
	Added (defpgdefault script-indent t) to turn on indentation. Added proof-script-command-start-regexp setting.
2000-05-29	Tweak font lock exprs enough for Example.thy	David Aspinall

2000-05-29	Font lock exprs for goals buffer like those in Isabelle	David Aspinall

2000-05-29	Set settings format function before calculating initial command. Add hilit ↵	David Aspinall
	for goals buffer
2000-05-29	Use generic default setting mechanism now. Add isar-markup-ml here.	David Aspinall

2000-05-29	Add -- isar -- tag to force mode, and comment to explain.	David Aspinall

2000-05-26	isar-any-command-regexp;	Makarius Wenzel

2000-05-26	isar-keywords-major;	Makarius Wenzel

2000-05-25	Removed spurious code in isar-mode function.	David Aspinall
	Removed defunct key binding of C-c C-l (Overriden with goto-end-of-locked).
2000-05-25	Patch for synchronization problem in Coq, perhaps others.	David Aspinall

2000-05-24	added "done";	Makarius Wenzel

2000-05-22	replaced proof-ids-to-regexp by isar-ids-to-regexp, which admits	Makarius Wenzel
	keywords to consist of a single non-word char as well (e.g. { });
2000-05-22	replaced {{ }} by { };	Makarius Wenzel

2000-05-19	isar-verbatim-regexp: include \n;	Makarius Wenzel

2000-05-17	re-use isa/interface-setup.el rather than separate isar version;	Makarius Wenzel

2000-05-16	Move setting of proof-shell-pre-interrupt-hook to isabelle-system.el	David Aspinall

2000-05-12	Modification of proof-shell-init-cmd. Markus, please help...	David Aspinall

2000-05-11	Load isabelle-system file shared with Isabelle Proof General.	David Aspinall
	Add default settings to proof-shell-init-cmd. Add Isabelle menu to menubar.
2000-05-05	Default to isa-mode or isar-mode according to first one invoked.	David Aspinall

2000-04-25	isar-indent regexps moved to isar-syntax.el;	Makarius Wenzel
	tuned comments;
2000-04-25	removed unused isar-ids;	Makarius Wenzel
	added isar-indent regexps (from isar.el);
2000-04-25	removed "simpset" minor keyword;	Makarius Wenzel

2000-04-17	added 'hide';	Makarius Wenzel

2000-04-12	fixed proof-mode-for-goals;	Makarius Wenzel

2000-04-07	pbp-mode -> goals-mode	David Aspinall

2000-04-06	tuned \<bottom>;	Makarius Wenzel
	added \<lbrace>, \<rbrace>, \<top>;
2000-04-05	tuned todo stuff;	Makarius Wenzel

2000-04-05	improved print_mode switch;	Makarius Wenzel

2000-04-05	'welcome' made diagnostic;	Makarius Wenzel

2000-04-05	eliminated 'as' keyword;	Makarius Wenzel

2000-04-04	added 'print_claset', 'print_simpset';	Makarius Wenzel

2000-04-03	added 'ProofGeneral.undo';	Makarius Wenzel
	fixed 'cd' classification;
2000-03-27	removed 'variables';	Makarius Wenzel
	added 'ultimately';
2000-03-24	Attempt to fix filename mess for Windows.	David Aspinall

2000-03-23	removed 'kill_proof';	Makarius Wenzel
	added 'variables';
2000-03-23	added 'moreover';	Makarius Wenzel

2000-03-22	Switch back to %s, rename proof-shell-string-escapes -> ↵	David Aspinall
	proof-shell-filename-escapes, and always apply for filename substn.
2000-03-22	Fix other file commands to use %e substitution.	David Aspinall

2000-03-22	Use new format character %s to %e to cope with nasty filenames with backslashes.	David Aspinall

2000-03-22	transparent cd;	Makarius Wenzel

2000-03-19	removed "thence";	Makarius Wenzel

2000-03-19	Updated	David Aspinall