proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Cleanup makefiles	David Aspinall	2006-08-28
\|
*	Deleted file	David Aspinall	2006-08-28
\|
*	Set version tag for new release.	David Aspinall	2006-08-28
\|
*	fixes again in syntax databases.	Pierre Courtieu	2006-08-25
\|
*	fix in syntax tables.	Pierre Courtieu	2006-08-25
\|
*	Small fixes on syntax tables.	Pierre Courtieu	2006-08-25
\|
*	Adding comments	Pierre Courtieu	2006-08-25
\|
*	fix coq/CHANGES	Pierre Courtieu	2006-08-25
\|
*	Small fixes.	Pierre Courtieu	2006-08-25
\|
*	Changed default coq version (8.1)	Pierre Courtieu	2006-08-25
\| \| \| \|	Small fixes in docstrings.
*	added a CHANGES file for coq directory	Pierre Courtieu	2006-08-25
\| \| \| \|	filled it
*	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).
*	Changed state-preserving check for coq.	Pierre Courtieu	2006-08-24
\|
*	changed coq bqcktracking to avoid doing backtrack x y z when x y and z	Pierre Courtieu	2006-08-24
\| \| \| \| \| \|	are identical to current ones. This is because Backtrack x y z is sometimes slow even in such cases. Hopefully this won't break synchronization.
*	fixing a bug introduced lately (coq-save-command-p needs two args	Pierre Courtieu	2006-08-24
\| \| \| \|	beacause proof-save-command-p needs is so defined).
*	Fixed indentation and font-lock for coq. Better, faster.	Pierre Courtieu	2006-08-23
\|
*	Mention Emacs menu for debug boxes	David Aspinall	2006-08-23
\|
*	sit-for is indeed in subr.el, must be careful to load right	David Aspinall	2006-08-23
\| \| \| \|	libraries...
*	Compatibility for GNU Emacs CVS losing sit-for	David Aspinall	2006-08-23
\| \| \| \|	(this will break much code, isn't it in some .el file?)
*	Tweak to FAQ#1	David Aspinall	2006-08-23
\|
*	Syntax strictitude	David Aspinall	2006-08-23
\|
*	Coq indentation small fixes.	Pierre Courtieu	2006-08-23
\|
*	fsf emacs compatibilty for symbol-at-point.	Pierre Courtieu	2006-08-23
\|
*	Comments and docstring fixes in lib and generic.	Pierre Courtieu	2006-08-23
\|
*	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
\|
*	Moved the coq local variables tools in a separate file and made it	Pierre Courtieu	2006-08-17
\| \| \| \|	simpler.
*	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.
*	Fixed messages of prover process starting and errors in order to have	Pierre Courtieu	2006-08-16
\| \| \| \| \|	prog-args shown. It was confusing for users not to see what arguments was given to the prover.
*	isar-goals-font-lock-keywords: added abbreviations;	Makarius Wenzel	2006-08-16
\|
*	Change to new Isabelle syntax	David Aspinall	2006-07-26
\|
*	fixed a bug with scripting with coq v8.0.	Pierre Courtieu	2006-07-20
\|
*	removed debug messages from indentation code.	Pierre Courtieu	2006-07-04
\|
*	fix the bug for coq indetation of two consecutive comments. Code is	Pierre Courtieu	2006-07-04
\| \| \| \| \|	ugly, should take the code given by Stefan Monnier and adapt it (it does not indent everything as is).
*	fix a bug in coq indentation (loop). seems to be fixed. I still have a	Pierre Courtieu	2006-07-04
\| \| \| \|	problem indenting comments (two consecutive comments: second shifted).
*	moving coq-goal-command-p to indetation code, as from v8.1, goals are	Pierre Courtieu	2006-07-04
\| \| \| \| \| \|	detected by the goal attribute of spans. syntactical goal recognizing is still used in indetation code, and for v8.0 compatibility. I shall remove v8.0 compatibility in some months.
*	section backtracking bug fixed.	Pierre Courtieu	2006-06-13
\|
*	Stop texi2html complaining about unknown command @c=====	David Aspinall	2006-05-26
\|
*	Set version tag for new release.	David Aspinall	2006-05-26
\|
*	Fix to work with coq 8.1 again (havent tested 8.0)	David Aspinall	2006-05-26
\|
*	Remove debugs	David Aspinall	2006-05-26
\|
*	Add back 'raw-text setting, now LANG settings aren't taking effect again ↵	David Aspinall	2006-05-26
\| \| \| \|	[me: XEmacs 21.4.19 on FC5]
*	Updated.	David Aspinall	2006-05-26
\|
*	Updated.	David Aspinall	2006-05-26
\|
*	Note about final 3.6 todo	David Aspinall	2006-05-26
\|