proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.M	Pierre Courtieu	2007-04-26
\|
*	Fixed a small bug in indentation of coq.	Pierre Courtieu	2006-08-25
\| \| \| \|	Fixed behavior for making abbrev table (don't if it already exists).
*	Cleaning in coq and lib, fixed licenses and docstrings.	Pierre Courtieu	2006-08-23
\| \| \| \|	Added one or two details to docstring of generic variables.
*	Finished making functions over big tables non recursive. Works with	Pierre Courtieu	2006-08-23
\| \| \| \|	emacs.
*	Making non recursive functions to make fsf emacs happy, not yet finished.	Pierre Courtieu	2006-08-22
\|
*	Big redesign of the coq syntax defintion, centralization in big tables	Pierre Courtieu	2006-08-22
\| \| \| \|	like coq-commands-db.
*	Menus redesign, new interactive tactics/commands/terms	Pierre Courtieu	2006-08-21
\| \| \| \|	insertion. Great!
*	Started the coq-insert-tactic.	Pierre Courtieu	2006-08-21
\|
*	continue on the support for local variables list semi-automatic	Pierre Courtieu	2006-08-17
\| \| \| \| \|	insertion. I put a new file in lib with basic tools for file variables lists.
*	Added entries in coq menu, rearranged coq menu.	Pierre Courtieu	2006-08-16
\| \| \| \| \|	Also added semi-automated setting of local file variables (* Local Variables *) coq-prog-name and coq-prog-args.
*	added match...with automatic building from atype name.	Pierre Courtieu	2005-11-07
\| \| \| \|	Had to correct a bug in proof-shell.
*	added some entris in coq menus.	Pierre Courtieu	2005-04-21
\|
*	small modifications, updating doc string of holes.el.	Pierre Courtieu	2005-03-08
\|
*	making holes.el cleaner, with the help of Stefan Monnier. I had to	Pierre Courtieu	2005-03-08
\| \| \| \|	adapt coq.el to these modifications.
*	Updated the doc for new pg/coq. Made modifications advised by Stefan	Pierre Courtieu	2005-02-17
\| \| \| \|	Monnier on holes.el.
*	cleaning holes.el. All functions are prefixed with "holes-". Also	Pierre Courtieu	2005-02-14
\| \| \| \|	modified coq.el and coq-abbrev.el accordingly.
*	bug fix with terminal regexp (pb with :"unfold foo in \|- *.")	Pierre Courtieu	2004-05-06
\|
*	Tidy menus, add new commands	David Aspinall	2004-04-22
\|
*	Deleted the "3 buffers view menu entry" for coq, this is now a	Pierre Courtieu	2004-04-21
\| \| \| \|	proofgeneral menu entry (bug of the 3.5 release).
*	added some commands in coq menu	Pierre Courtieu	2004-04-06
\|
*	coq < 8.0 menu and abbrevs.	Pierre Courtieu	2004-03-19
\|
*	adjusting to new syntax.	Pierre Courtieu	2004-03-18
\|
*	menu, holes and abbrev made better.	Pierre Courtieu	2004-03-17
\|
*	Added 'Notation' stuff to coq menu command insert.	Pierre Courtieu	2004-03-16
\|
*	added the abbreviation of Hint Rewrite.	Pierre Courtieu	2004-03-16
\|
*	indentation for coq completely re-coded, because the generic mechanism	Pierre Courtieu	2004-03-08
\| \| \| \|	does not use "proof-goal-command-p" and is not powerful enough.
*	little changes of menu/holes/abbrev in coq/pg	Pierre Courtieu	2004-02-26
\|
*	added menu entries to tactic menus	Pierre Courtieu	2004-02-19
\|
*	added submenus for command insertion for coq. menu uses abbrev	Pierre Courtieu	2004-02-19
\| \| \| \|	expansion to build holes.
*	added some lines in holes short doc. And some abbrevs for coq.	Pierre Courtieu	2004-02-19
\|
*	Coq Abbrevs now make holes. I will add a menu with basic command.	Pierre Courtieu	2004-02-18
\|
*	Added some interface stuff:	Pierre Courtieu	2004-02-11
	- an default coq abbrev file, loaded only if no abbrev table exists for coq; - some menu entries and shortcuts for abbrev; - a menu entry for "3 buffers view".