proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Bug with semicolon minor mode near-fixed	Dilip Sequiera	1996-11-05
\|
*	fixed bug in ids-to-regexp and improved regular expression for fontifying LEGO	Thomas Kleymann	1996-11-05
\|
*	improved font-lock customisation for LEGO	Thomas Kleymann	1996-11-01
\|
*	Fixed some bugs. Doubtless introduced others.	Dilip Sequiera	1996-10-29
\|
*	added proof-find-end-of-command	Thomas Kleymann	1996-10-25
\| \| \| \|	moved some bindings from lego-mode-map to proof-mode-map
*	Emacs mode for lego	lego	1996-10-24