aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/x-symbol-isabelle.el
Commit message (Expand)AuthorAge
* Merge changes and comments sent by Christoph WedlerGravatar David Aspinall2002-07-19
* Nuke X-sym warningsGravatar David Aspinall2002-07-18
* CleanupsGravatar David Aspinall2002-07-18
* Patch so works without x-symbolGravatar David Aspinall2002-07-16
* Merge patches from Christoph, and add Isabelle/Isar capabilitiesGravatar David Aspinall2002-07-16
* Doc difference between isa and isar, fix prob with isa support.Gravatar David Aspinall2002-07-01
* Fix x-symbol-isabelle-input-token-grammar to remove spurious backslashesGravatar David Aspinall2002-06-30
* [TESTING] support for latest version of X-Symbol (back compat broken).Gravatar David Aspinall2002-06-24
* GPL updateGravatar David Aspinall2002-06-21
* added symbols for alternative 0..9;Gravatar Makarius Wenzel2001-12-04
* \<euro> symbol;Gravatar Makarius Wenzel2001-12-01
* added \<index> symbol;Gravatar Makarius Wenzel2001-11-08
* added \<lozenge> and \<struct>;Gravatar Makarius Wenzel2001-11-07
* support \<^bold> control symbols;Gravatar Makarius Wenzel2001-09-26
* 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-16 03:21:24 +0000