Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/Tools/jEdit/src/plugin.scala
Tue, 21 Jun 2011 01:08:15 +0200
wenzelm
some support for user symbol fonts;
file
|
diff
|
annotate
Mon, 20 Jun 2011 22:43:56 +0200
wenzelm
added SyntaxUtilities.StyleExtender hook, with actual functionality in Isabelle/Scala;
file
|
diff
|
annotate
Sun, 19 Jun 2011 21:34:55 +0200
wenzelm
support for bold style within text buffer;
file
|
diff
|
annotate
Sat, 18 Jun 2011 23:34:34 +0200
wenzelm
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 21:20:22 +0200
wenzelm
convenience functions;
file
|
diff
|
annotate
Sat, 18 Jun 2011 17:33:27 +0200
wenzelm
basic support for extended syntax styles: sub/superscript;
file
|
diff
|
annotate
Tue, 14 Jun 2011 17:24:23 +0200
wenzelm
builtin sub/superscript styles for jedit-4.3.2;
file
|
diff
|
annotate
Wed, 08 Jun 2011 17:42:07 +0200
wenzelm
moved sources -- eliminated Netbeans artifact of jedit package directory;
file
|
diff
|
annotate
|
base
less
more
(0)
tip