proof-general - Emacs plugins for proof management systems

Age	Commit message (Expand)	Author
2006-07-04	fix the bug for coq indetation of two consecutive comments. Code is	Pierre Courtieu
2006-07-04	fix a bug in coq indentation (loop). seems to be fixed. I still have a	Pierre Courtieu
2006-07-04	moving coq-goal-command-p to indetation code, as from v8.1, goals are	Pierre Courtieu
2005-11-07	added match...with automatic building from atype name.	Pierre Courtieu
2005-02-15	Finished making holes.el a real minor-mode. There is a new file	Pierre Courtieu
2004-08-30	debugged the indentation of coq (bug report of Batsiaan Zapf august	Pierre Courtieu
2004-03-30	added the forall x-symbol to the indent keywords lists.	Pierre Courtieu
2004-03-15	bug fix in holes (call to proof-indent-line instead of funcall	Pierre Courtieu
2004-03-15	little bug fix in coq-indent.el	Pierre Courtieu
2004-03-11	bug fixes on indenting and command-end-regexp.	Pierre Courtieu
2004-03-10	compile warning corrections	Pierre Courtieu
2004-03-08	indentation for coq completely re-coded, because the generic mechanism	Pierre Courtieu