proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	added isabelle-verbatim;	Makarius Wenzel	2000-06-04
\| \| \| \|	fixed proof-shell-pre-interrupt-hook: use isabelle-verbatim;
*	Remove spurious spaces	David Aspinall	2000-06-01
\|
*	Commented out global-timing since it seems to be Isabelle99-1 specific.	David Aspinall	2000-05-31
\|
*	Added old completion table from Isamode. Added code to automatically add ↵	David Aspinall	2000-05-31
\| \| \| \|	completion for x-symbol tokens.
*	Added missing command terminators for proof-xsym commands	David Aspinall	2000-05-30
\|
*	handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;	Makarius Wenzel	2000-05-30
\|
*	defpacustom global-timing;	Makarius Wenzel	2000-05-30
\|
*	Docstring	David Aspinall	2000-05-29
\|
*	Remove isar-markup-ml from here	David Aspinall	2000-05-29
\|
*	Generalized proof assistant settings mechanism	David Aspinall	2000-05-29
\|
*	Add explicit terminators to commands. Generalized isabelle-set-default-cmd.	David Aspinall	2000-05-29
\|
*	Additions to font lock on output	David Aspinall	2000-05-29
\|
*	proof-defass-default -> defpgdefault	David Aspinall	2000-05-26
\|
*	Patch for synchronization problem in Coq, perhaps others.	David Aspinall	2000-05-25
\|
*	Goals.enable/disable_pr: improved version for Isabelle99-1 (commented out);	Makarius Wenzel	2000-05-18
\|
*	added show-consts, long-names;	Makarius Wenzel	2000-05-17
\| \| \| \|	improved isar-markup-ml;
*	Move setting of proof-shell-pre-interrupt-hook to isabelle-system.el	David Aspinall	2000-05-16
\|
*	Missing quote	David Aspinall	2000-05-16
\|
*	Fixup menus a bit. Remove proof-prf on options change.	David Aspinall	2000-05-12
\|
*	Remove proof-assistant-menu-entries, done generically now.	David Aspinall	2000-05-12
\|
*	Several name changes isa- -> isabelle-, and made generic for Isar	David Aspinall	2000-05-12
\|
*	Comments	David Aspinall	2000-05-12
\|
*	Fix to menu definition.	David Aspinall	2000-05-12
\|
*	Generic help menu for Isabelle and Isabelle/Isar added.	David Aspinall	2000-05-11
\| \| \| \| \|	Generalized option settings mechanism. Added simplifier tracing flag.
*	Moved generic settings to isabelle-system.el. ↵	David Aspinall	2000-05-11
\| \| \| \|	isa-set-default-cmd->isabelle-set..
*	Note about desirable additions to Isabelle	David Aspinall	2000-05-09
\|
*	New goal.	David Aspinall	2000-05-09
\|
*	New file	David Aspinall	2000-05-09
\|
*	Merged from 3.1.5	David Aspinall	2000-05-09
\|
*	Comment.	David Aspinall	2000-05-05
\|
*	isa-system.el -> isabelle-system.el	David Aspinall	2000-05-05
\|
*	Renamed file	David Aspinall	2000-05-05
\|
*	Expanded menu	David Aspinall	2000-05-05
\|
*	New code in isa-system.el.	David Aspinall	2000-05-05
\|
*	New file for interfacing with Isabelle system.	David Aspinall	2000-05-05
\|
*	Default to isa-mode or isar-mode according to first one invoked.	David Aspinall	2000-05-05
\|
*	Added proof-assistant-keymap and commands for defining insert keys.	David Aspinall	2000-05-02
\|
*	Added specific menu for Isabelle (early version)	David Aspinall	2000-05-01
\|
*	Revert to indended fix for isa-retract-thy-file.	David Aspinall	2000-04-25
\|
*	fixed isa-retract-thy-file: pass theory name only;	Makarius Wenzel	2000-04-17
\| \| \| \|	fixed some comments;
*	Tweak to disable_pr function to allow for it being called twice (why?).	David Aspinall	2000-04-07
\|
*	pbp-mode -> goals-mode	David Aspinall	2000-04-07
\|
*	Fixed up proof-shell-proof-completed mess nicely.	David Aspinall	2000-04-07
\|
*	tuned \<bottom>;	Makarius Wenzel	2000-04-06
\| \| \| \|	added \<lbrace>, \<rbrace>, \<top>;
*	tuned todo stuff;	Makarius Wenzel	2000-04-05
\|
*	improved print_mode switch;	Makarius Wenzel	2000-04-05
\|
*	Added provisional commands for enabling/disabling printing.	David Aspinall	2000-04-04
\|
*	Save as Example.ML, except using X-Symbol input tokens.	David Aspinall	2000-04-04
\|
*	Fix accidently introduced bug with passing full paths to theory loader.	David Aspinall	2000-04-04
\|
*	Removed pg_saved_gl which was for testing.	David Aspinall	2000-03-24
\|