proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
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

2000-03-19	Added setting for silent mode.	David Aspinall

2000-03-13	New/updated information files	David Aspinall

2000-03-09	added 'case', 'print_cases';	Makarius Wenzel

2000-03-08	Split low-level todo into several files.	David Aspinall

2000-02-23	tuned electric-ignore;	Makarius Wenzel

2000-02-15	fix electric-ignore (due to DvO);	Makarius Wenzel

2000-02-14	isar-tac-regexp: 'font-lock-reference-face;	Makarius Wenzel

2000-02-14	removed then_apply;	Makarius Wenzel
	added apply_end;
2000-02-11	option -x: enable x-symbol package;	Makarius Wenzel

2000-02-11	added "judgment";	Makarius Wenzel

2000-02-10	setup proof-shell-pre-interrupt-hook for Poly/ML;	Makarius Wenzel

2000-02-09	tuned indentation code;	Makarius Wenzel

2000-02-09	added isar-keywords-qed-global, isar-global-save-command-regexp;	Makarius Wenzel
	added isar-keywords-indent-reset; tuned font-lock;
2000-02-09	added 'oops';	Makarius Wenzel

2000-01-28	added prefer, defer;	Makarius Wenzel

2000-01-06	Fixes for short output duplication problem: set ↵	David Aspinall
	proof-shell-eager-annotation-start-length.
2000-01-06	added "where";	Makarius Wenzel