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
*
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