index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isa
/
x-symbol-isabelle.el
Commit message (
Expand
)
Author
Age
*
Merge changes and comments sent by Christoph Wedler
David Aspinall
2002-07-19
*
Nuke X-sym warnings
David Aspinall
2002-07-18
*
Cleanups
David Aspinall
2002-07-18
*
Patch so works without x-symbol
David Aspinall
2002-07-16
*
Merge patches from Christoph, and add Isabelle/Isar capabilities
David Aspinall
2002-07-16
*
Doc difference between isa and isar, fix prob with isa support.
David Aspinall
2002-07-01
*
Fix x-symbol-isabelle-input-token-grammar to remove spurious backslashes
David Aspinall
2002-06-30
*
[TESTING] support for latest version of X-Symbol (back compat broken).
David Aspinall
2002-06-24
*
GPL update
David Aspinall
2002-06-21
*
added symbols for alternative 0..9;
Makarius Wenzel
2001-12-04
*
\<euro> symbol;
Makarius Wenzel
2001-12-01
*
added \<index> symbol;
Makarius Wenzel
2001-11-08
*
added \<lozenge> and \<struct>;
Makarius Wenzel
2001-11-07
*
support \<^bold> control symbols;
Makarius Wenzel
2001-09-26
*
fixed potential regexp typo (!?);
Makarius Wenzel
2001-08-09
*
renamed \<ll> to \<lless> and \<gg> to \<ggreater>;
Makarius Wenzel
2001-01-24
*
added \<wrong>;
Makarius Wenzel
2001-01-10
*
added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>;
Makarius Wenzel
2001-01-09
*
x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable);
Makarius Wenzel
2000-12-28
*
tuned some (rarely used) symbols;
Makarius Wenzel
2000-12-15
*
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
*
added Isabelle symbols for parendblleft/parendblright glyphs (will be
Makarius Wenzel
2000-09-21
*
renamed \<brokenbar> to \<bar>;
Makarius Wenzel
2000-09-14
*
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
*
Renamed x symbol language name to isabelle (rather big for status line, unfor...
David Aspinall
2000-06-16
*
Renamed file
David Aspinall
2000-06-16