proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Added hack to fix nested @samp @var problem.	David Aspinall	1999-02-22
\|
*	Removed a todo. This version submitted for Texinfo.	David Aspinall	1998-12-17
\|
*	Newline after first sentence. Submitted for Texinfo distribution.	David Aspinall	1998-12-17
\|
*	Added GPL license (I wrote this at home).	David Aspinall	1998-12-16
\| \| \| \|	Corrected name of Texinfo and other comments.
*	Used authorized keywords.	David Aspinall	1998-12-15
\|
*	Another todo idea added. This version sent to Emacs news groups.	David Aspinall	1998-12-15
\|
*	Idea for magical texi-docstring property for symbols to escape auto markup.	David Aspinall	1998-12-15
\|
*	Documented markup rules and usage at start of package.	David Aspinall	1998-12-15
\|
*	Alterations to @var case again	David Aspinall	1998-11-26
\|
*	Added todo. Put quote into symbol markup.	David Aspinall	1998-11-25
\|
*	Documentation improvements.	David Aspinall	1998-11-25
\|
*	Compile clean-ups.	David Aspinall	1998-11-25
\|
*	Rearranged order of regexps, added emphasised markup case.	David Aspinall	1998-11-25
\|
*	fixed up newlines in @lisp environments.	David Aspinall	1998-11-25
\|
*	tweaks to regexps; added automatic mention of default values for user	David Aspinall	1998-11-25
\| \| \| \| \|	options, markup for 'symbols and back-forward quoted `text'. Allowed parsing to continue from partway through a previous match.
*	changed keybinding suggested at start to work for AUC TeX's texinfo mode.	David Aspinall	1998-11-25
\|
*	Added syntax table stuff	David Aspinall	1998-11-25
\|
*	Magic docstring -> texi conversion.	David Aspinall	1998-11-25