aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-unicode-tokens.el
Commit message (Collapse)AuthorAge
* Bug in \\<diamond> tokenGravatar David Aspinall2009-09-11
|
* Experimental changes to queue several commands at once and to allow ↵Gravatar David Aspinall2009-09-10
| | | | pre-processing of commands when they're queued from script
* Require unicode-tokens during compile.Gravatar David Aspinall2009-09-07
|
* Remove \t in \<inverse> expansion.Gravatar David Aspinall2009-09-07
| | | | Make \<spacespace> be a single EM-DASH SPACE
* 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
| | | | for Tokens customize menu
* Add shortcuts for (| and |).Gravatar David Aspinall2009-09-05
| | | | Ensure if shortcuts are customized, replacement-alist is reset too.
* 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 ↵Gravatar David Aspinall2009-08-30
| | | | symbolizing old files.
* Move fontsymb properties to library file.Gravatar David Aspinall2009-08-28
|
* Add indirection for setting unicode tokens variables to add customize menu ↵Gravatar David Aspinall2009-08-12
| | | | options
* 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
| | | | with cut-and-paste and when typing tokens directly. Trac#223.
* 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 ↵Gravatar Makarius Wenzel2008-07-07
| | | | expects;
* isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a ↵Gravatar Makarius Wenzel2008-07-07
| | | | particular meaning in Isabelle;
* unicode shortcut alist: literal backslash instead of strange control ↵Gravatar Makarius Wenzel2008-07-07
| | | | sequence, e.g. "\\nat" instead of "\nat";
* 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
|
* Add shortcuts for tokens.Gravatar David Aspinall2008-01-28
|
* Switch token table mapping destination from glyph names to unicode strings. ↵Gravatar David Aspinall2008-01-27
| | | | Generate from Isabelle.sym
* New files.Gravatar David Aspinall2008-01-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 16:21:14 +0000