aboutsummaryrefslogtreecommitdiff
path: root/isa/x-symbol-isabelle.el
AgeCommit message (Expand)Author
2002-07-01Doc difference between isa and isar, fix prob with isa support.David Aspinall
2002-06-30Fix x-symbol-isabelle-input-token-grammar to remove spurious backslashesDavid Aspinall
2002-06-24[TESTING] support for latest version of X-Symbol (back compat broken).David Aspinall
2002-06-21GPL updateDavid Aspinall
2001-12-04added symbols for alternative 0..9;Makarius Wenzel
2001-12-01\<euro> symbol;Makarius Wenzel
2001-11-08added \<index> symbol;Makarius Wenzel
2001-11-07added \<lozenge> and \<struct>;Makarius Wenzel
2001-09-26support \<^bold> control symbols;Makarius Wenzel
2001-08-09fixed potential regexp typo (!?);Makarius Wenzel
2001-01-24renamed \<ll> to \<lless> and \<gg> to \<ggreater>;Makarius Wenzel
2001-01-10added \<wrong>;Makarius Wenzel
2001-01-09added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>;Makarius Wenzel
2000-12-28x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable);Makarius Wenzel
2000-12-15tuned some (rarely used) symbols;Makarius Wenzel
2000-10-30replaced \<macron> by \<inverse> (better than nothing);Makarius Wenzel
2000-10-14parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e);Makarius Wenzel
2000-10-12support for super- and subscripts (still needs proper per-proverMakarius Wenzel
2000-09-21added Isabelle symbols for parendblleft/parendblright glyphs (will beMakarius Wenzel
2000-09-14renamed \<brokenbar> to \<bar>;Makarius Wenzel
2000-09-14x-symbol-isabelle-electric-ignore: "~=";Makarius Wenzel
2000-08-23more symbols;Makarius Wenzel
2000-08-03x-symbol-isabelle-electric-ignore: include [[ ]];Makarius Wenzel
2000-08-02x-symbol-isabelle-prepare-table: avoids redundancy in code, improvesMakarius Wenzel
2000-06-16Renamed x symbol language name to isabelle (rather big for status line, unfor...David Aspinall
2000-06-16Renamed fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 19:42:44 +0000