| Thu, 07 Jul 2011 13:48:30 +0200 |
simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
|
file | diff | annotate |
| Tue, 05 Jul 2011 23:18:14 +0200 |
simplified Symbol.iterator: produce strings, which are mostly preallocated;
|
file | diff | annotate |
| Mon, 04 Jul 2011 22:11:32 +0200 |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
file | diff | annotate |
| Sat, 25 Jun 2011 20:03:07 +0200 |
proper tokens only if session is ready;
|
file | diff | annotate |
| Wed, 22 Jun 2011 20:38:03 +0200 |
clarified decoded control symbols;
|
file | diff | annotate |
| Tue, 21 Jun 2011 21:34:36 +0200 |
more precise font transformations: shift sub/superscript, adjust size for user fonts;
|
file | diff | annotate |
| Tue, 21 Jun 2011 15:43:27 +0200 |
hidden font: full height makes cursor more visible;
|
file | diff | annotate |
| Tue, 21 Jun 2011 13:29:44 +0200 |
tuned iteration over short symbols;
|
file | diff | annotate |
| Tue, 21 Jun 2011 12:53:55 +0200 |
Symbol.is_ctrl: handle decoded version as well;
|
file | diff | annotate |
| Tue, 21 Jun 2011 01:08:15 +0200 |
some support for user symbol fonts;
|
file | diff | annotate |
| Mon, 20 Jun 2011 22:43:56 +0200 |
added SyntaxUtilities.StyleExtender hook, with actual functionality in Isabelle/Scala;
|
file | diff | annotate |
| Sun, 19 Jun 2011 21:53:04 +0200 |
treat quotes as non-controllable, to reduce surprise in incremental editing;
|
file | diff | annotate |
| Sun, 19 Jun 2011 21:34:55 +0200 |
support for bold style within text buffer;
|
file | diff | annotate |
| Sun, 19 Jun 2011 15:22:58 +0200 |
discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
|
file | diff | annotate |
| Sun, 19 Jun 2011 14:11:06 +0200 |
some unicode chars for special control symbols;
|
file | diff | annotate |
| Sat, 18 Jun 2011 23:34:34 +0200 |
avoid setTokenMarker fluctuation on buffer reload etc. via static isabelle_token_marker, which is installed by hijacking the jEdit ModeProvider;
|
file | diff | annotate |
| Sat, 18 Jun 2011 17:33:27 +0200 |
basic support for extended syntax styles: sub/superscript;
|
file | diff | annotate |
| Sat, 18 Jun 2011 15:32:05 +0200 |
tuned signature;
|
file | diff | annotate |
| Sat, 18 Jun 2011 11:22:03 +0200 |
simplified Line_Context (again);
|
file | diff | annotate |
| Thu, 16 Jun 2011 23:16:06 +0200 |
more precise imitatation of original TokenMarker: no locking, interned context etc.;
|
file | diff | annotate |
| Thu, 16 Jun 2011 22:05:40 +0200 |
static token markup, based on outer syntax only;
|
file | diff | annotate |