aboutsummaryrefslogtreecommitdiff
path: root/isa/x-symbol-isabelle.el
AgeCommit message (Expand)Author
2006-12-05Deleted fileDavid Aspinall
2006-02-13support nested blocks of super/sub-script, but only the outermost levelMakarius Wenzel
2006-01-05added \<setminus>;Makarius Wenzel
2005-09-28old specials are recogized again;Makarius Wenzel
2005-09-14removed 8bit special chars for isar;Makarius Wenzel
2005-09-01special regexps: include PGASCII version;Makarius Wenzel
2004-05-06Patch from Brother MakariusDavid Aspinall
2004-04-15Remove commentDavid Aspinall
2004-04-05fixed single char sub/super script in goals/response windowGerwin Klein
2003-12-29spanning sub/super scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>Gerwin Klein
2003-12-23more cleanup of sub/superscript, removed duplicate subscript-matcherGerwin Klein
2003-10-16allow sub/super scripts in identifiers (\<^isub> and \<^isup>)Gerwin Klein
2003-04-05CommentsDavid Aspinall
2003-03-05Tweaks to auto-style; remove x-symbol-set-cache-variable because breaks compileDavid Aspinall
2003-03-03Improved version from Gerwin Klein/Christoph Wedler; simplified auto-mode-sty...David Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2003-02-22auto-coding-alistDavid Aspinall
2003-02-22Experiments with auto-styleDavid Aspinall
2002-07-19Merge changes and comments sent by Christoph WedlerDavid Aspinall
2002-07-18Nuke X-sym warningsDavid Aspinall
2002-07-18CleanupsDavid Aspinall
2002-07-16Patch so works without x-symbolDavid Aspinall
2002-07-16Merge patches from Christoph, and add Isabelle/Isar capabilitiesDavid Aspinall
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-03-02 16:15:14 +0000