proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	replaced \<macron> by \<inverse> (better than nothing);	Makarius Wenzel	2000-10-30
\|
*	parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e);	Makarius Wenzel	2000-10-14
\|
*	support for super- and subscripts (still needs proper per-prover	Makarius Wenzel	2000-10-12
\| \| \| \|	control of x-symbol-subscripts variable);
*	added Isabelle symbols for parendblleft/parendblright glyphs (will be	Makarius Wenzel	2000-09-21
\| \| \| \| \|	present in X-Symbol-3.3e; should not cause problems with older versions);
*	renamed \<brokenbar> to \<bar>;	Makarius Wenzel	2000-09-14
\| \| \| \|	fixed glyph of \<pounds>;
*	x-symbol-isabelle-electric-ignore: "~=";	Makarius Wenzel	2000-09-14
\|
*	more symbols;	Makarius Wenzel	2000-08-23
\|
*	x-symbol-isabelle-electric-ignore: include [[ ]];	Makarius Wenzel	2000-08-03
\|
*	x-symbol-isabelle-prepare-table: avoids redundancy in code, improves	Makarius Wenzel	2000-08-02
\| \| \| \|	on isar version (only 1 backslash);
*	Renamed x symbol language name to isabelle (rather big for status line, ↵	David Aspinall	2000-06-16
\| \| \| \|	unfortunately)
*	Renamed file	David Aspinall	2000-06-16