proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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