proof-general - Emacs plugins for proof management systems

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

1999-12-30	fixed isar-keywords-local-goal-regexp;	Makarius Wenzel

1999-11-22	tuned faces;	Makarius Wenzel

1999-11-18	Typo.	David Aspinall

1999-11-17	cleaned;	Makarius Wenzel

1999-11-17	Comment out some obsolete/unecessary stuff. Add X-Symbol support	David Aspinall

1999-11-17	Support for X-Symbol	David Aspinall

1999-11-10	fixed indentation bug: use proof-looking-at (proof-case-fold-search);	Makarius Wenzel

1999-10-29	improved proof-shell-error-regexp;	Makarius Wenzel

1999-10-27	(try_)context_thy_only;	Makarius Wenzel

1999-10-26	tuned proof-shell-error-regexp;	Makarius Wenzel

1999-10-26	ProofGeneral.kill_proof: clears goals buffer;	Makarius Wenzel
	ProofGeneral.restart; ProofGeneral.inform_file_processed/retracted; improved proof-shell-compute-new-files-list (more robust);
1999-10-26	replaced remove_thy by kill_thy (more robust);	Makarius Wenzel

1999-10-26	added kill_thy, touch_child_thys;	Makarius Wenzel
	internal ProofGeneral commands;
1999-10-22	isar-remove-file: compare basenames only;	Makarius Wenzel

1999-10-21	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall

1999-10-20	theory loader actions now that of PG/isa;	Makarius Wenzel

1999-10-20	added ML_command;	Makarius Wenzel

1999-10-19	added isar-detect-header;	Makarius Wenzel
	tuned;