aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/x-symbol-isabelle.el
Commit message (Expand)AuthorAge
* fixed potential regexp typo (!?);Gravatar Makarius Wenzel2001-08-09
* renamed \<ll> to \<lless> and \<gg> to \<ggreater>;Gravatar Makarius Wenzel2001-01-24
* added \<wrong>;Gravatar Makarius Wenzel2001-01-10
* added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>;Gravatar Makarius Wenzel2001-01-09
* x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable);Gravatar Makarius Wenzel2000-12-28
* tuned some (rarely used) symbols;Gravatar Makarius Wenzel2000-12-15
* replaced \<macron> by \<inverse> (better than nothing);Gravatar Makarius Wenzel2000-10-30
* parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e);Gravatar Makarius Wenzel2000-10-14
* support for super- and subscripts (still needs proper per-proverGravatar Makarius Wenzel2000-10-12
* added Isabelle symbols for parendblleft/parendblright glyphs (will beGravatar Makarius Wenzel2000-09-21
* renamed \<brokenbar> to \<bar>;Gravatar Makarius Wenzel2000-09-14
* x-symbol-isabelle-electric-ignore: "~=";Gravatar Makarius Wenzel2000-09-14
* more symbols;Gravatar Makarius Wenzel2000-08-23
* x-symbol-isabelle-electric-ignore: include [[ ]];Gravatar Makarius Wenzel2000-08-03
* x-symbol-isabelle-prepare-table: avoids redundancy in code, improvesGravatar Makarius Wenzel2000-08-02
* Renamed x symbol language name to isabelle (rather big for status line, unfor...Gravatar David Aspinall2000-06-16
* Renamed fileGravatar David Aspinall2000-06-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-25 23:03:37 +0000