proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2009-10-02	Some more tokens	David Aspinall

2009-10-02	Updates	David Aspinall

2009-10-02	Explain Unicode Tokens better	David Aspinall

2009-10-02	proof-retract-before-change: give error if prover busy	David Aspinall
	(see http://proofgeneral.inf.ed.ac.uk/trac/ticket/293)
2009-10-01	unicode-tokens-fontsymb-properties: use font-lock faces instead of proof- ones.	David Aspinall
	Prevent font setting when symbols are revealed (use default font family). Tweak menu titles.
2009-09-30	Update magic	David Aspinall

2009-09-30	Unicode Tokens in own chapter. Remove some func menu stuff	David Aspinall

2009-09-30	Conforming Menu Titles	David Aspinall

2009-09-30	Conforming Menu Titles	David Aspinall

2009-09-29	Clean up hints about buffer display	David Aspinall

2009-09-29	Set version tag for new release.	David Aspinall

2009-09-29	Documentation.	David Aspinall

2009-09-29	inline isar-long-id-stuff	David Aspinall

2009-09-29	phox-find-and-forget: return a list	David Aspinall

2009-09-28	Rename dec->keyword. Update doc for quail input language.	David Aspinall

2009-09-28	Set version tag for new release.	David Aspinall

2009-09-28	Typo	David Aspinall

2009-09-28	Functions find-and-forget and count-undos now return lists of commands	David Aspinall

2009-09-28	Menu entry <PA>-set-command invisible when function undefined (not inactive)	David Aspinall

2009-09-28	pg-response-buffers-hint: only give hint when in default two-buffer mode	David Aspinall

2009-09-28	Add markup for \<^const> control, complicate ↵	David Aspinall
	`isar-control-char-format-regexp' to markup identifiers
2009-09-28	Update docs	David Aspinall

2009-09-27	Trace buffer: do not show this trace-output-regexp not set	David Aspinall

2009-09-27	Rotate Output Buffers: do not show this if in three window mode	David Aspinall

2009-09-27	Follow Upper Case Convention for menu entries	David Aspinall

2009-09-27	display_drafts, print_drafts: query to save buffer	David Aspinall
	Follow Upper Case Convention for menu entries Remove duplicate menu entry: Commands -> set isabelle
2009-09-27	proof-save-this-buffer: added	David Aspinall

2009-09-27	Tweak hint text	David Aspinall

2009-09-27	Put Display submenu first in Quick Options menu	David Aspinall

2009-09-26	proof-display-three-b: avoid giving strange behaviour if some buffers are ↵	David Aspinall
	not available
2009-09-26	Shorten menu name	David Aspinall

2009-09-26	Add pr to print state in case of linear_undo. See Trac #292.	David Aspinall
	Still not ideal: when there is no proof state, we'd prefer that an empty goal screen is displayed.
2009-09-25	Extended documentation for Tokens to explain layout control.	David Aspinall
	Fix typo in Isar shortcuts. Add links in NEWS section.
2009-09-25	pg-toggle-element-visibility: Add back `redraw-frame' call, it is	David Aspinall
	needed here (possible Emacs bug)
2009-09-21	More changes	David Aspinall

2009-09-21	superdir	David Aspinall

2009-09-21	Fix doc copy/clean.	David Aspinall

2009-09-21	Fix clean targets	David Aspinall

2009-09-21	Only distribute info file, not pdf	David Aspinall

2009-09-21	Updates	David Aspinall

2009-09-21	Add doc files and .elcs to distributed tarball	David Aspinall

2009-09-21	tar -> $(TAR)	David Aspinall

2009-09-21	Remove redisplay function call for Emacs, seems unnecssary.	David Aspinall

2009-09-21	Add customize group unicode-tokens-options to faces top-level group.	David Aspinall

2009-09-21	Set version tag for new release.	David Aspinall

2009-09-21	Updated	David Aspinall

2009-09-21	Add Hide/Show to extra modes menu	David Aspinall

2009-09-21	Repair some of proof visibility handling	David Aspinall
	pg-last-output-displayform: protect against single \n in last output
2009-09-21	unicode-tokens-add-help-echo: add this customize option	David Aspinall
	unicode-tokens-display-table: use this (experimental) for alternative ellipsis glyph
2009-09-21	Functions to add buttons to buffer (initial attempt)	David Aspinall