aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-unicode-tokens.el
Commit message (Expand)AuthorAge
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* Summary: Fix compile warning on isar-markup-mlGravatar David Aspinall2015-03-05
* unicode tokens for \<open>, \<close>, \<newline>;Gravatar Makarius Wenzel2014-01-18
* isar-user-tokens: add doc so user can see it when using customizeGravatar David Aspinall2010-10-10
* Swap phi and varphi for better consistency with STIX.Gravatar David Aspinall2010-08-04
* less surprising unicode tokens: <-> corresponds to longleftrightarrow in comm...Gravatar Makarius Wenzel2010-08-03
* Add rest of standard token symbols for alphabets in other fontsGravatar David Aspinall2009-12-01
* isar-control-char-format-regexp: correct to only affect next char/symbolGravatar David Aspinall2009-12-01
* isar-control-char-format-regexp: prevent subsequent control chars being capturedGravatar David Aspinall2009-12-01
* inline isar-long-id-stuffGravatar David Aspinall2009-09-29
* Add markup for \<^const> control, complicate `isar-control-char-format-regexp...Gravatar David Aspinall2009-09-28
* Bug in \\<diamond> tokenGravatar David Aspinall2009-09-11
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* Require unicode-tokens during compile.Gravatar David Aspinall2009-09-07
* Remove \t in \<inverse> expansion.Gravatar David Aspinall2009-09-07
* Remove \t in \<module> expansion.Gravatar David Aspinall2009-09-07
* Fix defcustom typesGravatar David Aspinall2009-09-05
* Separate standard tokens from extended set. Add missing compositions. Set ...Gravatar David Aspinall2009-09-05
* Add shortcuts for (| and |).Gravatar David Aspinall2009-09-05
* Add custom groupGravatar David Aspinall2009-09-05
* Remove objectionable |> shortcut for Isar hackersGravatar David Aspinall2009-09-03
* proper backslash escape;Gravatar Makarius Wenzel2009-09-02
* Add custom docGravatar David Aspinall2009-08-31
* isar-symbol-shortcuts: add customizationGravatar David Aspinall2009-08-31
* Remove over-enthusiastic single-character shortcutsGravatar David Aspinall2009-08-31
* Disable large symbol font for nowGravatar David Aspinall2009-08-31
* Support dynamic customization. Add additional shortcuts handy for symbolizing...Gravatar David Aspinall2009-08-30
* Move fontsymb properties to library file.Gravatar David Aspinall2009-08-28
* Add indirection for setting unicode tokens variables to add customize menu op...Gravatar David Aspinall2009-08-12
* Hyphen instead of emdash in faked longleftarrowGravatar David Aspinall2008-12-05
* Updated.Gravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Add lbrace, rbraceGravatar David Aspinall2008-07-19
* Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviourGravatar David Aspinall2008-07-18
* more precise regexps isar-token-match, isar-control-token-match;Gravatar Makarius Wenzel2008-07-09
* isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expe...Gravatar Makarius Wenzel2008-07-07
* isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a partic...Gravatar Makarius Wenzel2008-07-07
* unicode shortcut alist: literal backslash instead of strange control sequence...Gravatar Makarius Wenzel2008-07-07
* Add back |-> shortcutGravatar David Aspinall2008-07-05
* Missing backslashes.Gravatar David Aspinall2008-02-17
* Experimental use of fonts for \<AA> etc. Disable some contentious shortcutsGravatar David Aspinall2008-02-17
* tuned comment;Gravatar Makarius Wenzel2008-02-13
* Remove ligature/latin1 symbols. Trim short cutsGravatar David Aspinall2008-02-05
* Disable warnings.Gravatar David Aspinall2008-02-04
* Support Isabelle control sequences for subscripts/superscriptsGravatar David Aspinall2008-02-04
* Go back to isabellesym.sty as master symbol listGravatar David Aspinall2008-02-04
* Harmonise a bit more with X-Symbols. Add customization facilityGravatar David Aspinall2008-01-30
* Switch to fake long symbolsGravatar David Aspinall2008-01-28
* Add hooks for unicode tokens within proof shellGravatar David Aspinall2008-01-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 06:56:52 +0000