proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2010-08-25	Add unnecessary quote marks for consistent colouring	David Aspinall

2009-12-03	Revert spurious commits	David Aspinall

2009-12-03	Change of type for proof-script-span-context-menu-extensions	David Aspinall

2009-09-15	Revert accidental commit	David Aspinall

2009-09-15	Fix compile errors	David Aspinall

2009-09-05	Clean whitespace	David Aspinall

2009-08-20	Remove spurious junk.	David Aspinall

2009-08-17	Move proof-interrupt-process to proof-shell. Add pending interrupt ↵	David Aspinall
	behaviour. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/179
2008-07-24	Merge changes from Version4Branch.	David Aspinall

2008-03-14	proper indentation;	Makarius Wenzel

2005-08-18	isatool fixheaders;	Makarius Wenzel

2005-03-25	Remove junk	David Aspinall

2005-02-15	Changes from Clemens Ballarin for large X-Symbol fonts	David Aspinall

2003-02-18	Decoration to show off MMM mode	David Aspinall

2002-09-11	Remove comment about selecting PG/Isar.	David Aspinall

2002-08-12	Remove comment at the end testing feature. See etc/isar/Parsing.thy instead.	David Aspinall

2002-01-16	Whitespace	David Aspinall

2001-12-27	tuned;	Makarius Wenzel

2001-09-04	tuned proof text;	Makarius Wenzel
	added script version;
2000-06-22	Extra note.	David Aspinall

2000-06-08	proper indentation;	Makarius Wenzel

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

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

1999-09-24	tuned;	Makarius Wenzel

1999-09-24	unified example with other proof assistants;	Makarius Wenzel

1999-09-21	lemma and_comms;	Makarius Wenzel

1999-08-18	tuned;	Makarius Wenzel

1999-05-27	oops;	Makarius Wenzel

1999-05-27	be chatty;	Makarius Wenzel

1999-05-25	more examples;	Makarius Wenzel

1999-04-16	initial version of 'isar proof assistant (Isabelle/Isar);	Makarius Wenzel