| Wed, 17 Aug 2011 16:01:27 +0200 |
wenzelm |
some convenience actions/shortcuts for control symbols;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2011 22:48:31 +0200 |
wenzelm |
more robust Thy_Header.base_name, with minimal assumptions about path syntax;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2011 21:13:52 +0200 |
wenzelm |
use full .thy file name as node name, which makes MiscUtilities.resolveSymlinks/File.getCanonicalPath more predictable;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2011 12:06:49 +0200 |
wenzelm |
omit MiscUtilities.resolveSymlinks for now -- odd effects on case-insensible file-system;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2011 20:20:36 +0200 |
wenzelm |
provide node header via Scala layer;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2011 22:10:49 +0200 |
wenzelm |
normalized theory dependencies wrt. file_store;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2011 15:28:30 +0200 |
wenzelm |
clarified document model header: master_dir (native wrt. editor, potentially URL) and node_name (full canonical path);
|
file |
diff |
annotate
|
| Sat, 09 Jul 2011 12:56:51 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 07 Jul 2011 22:04:30 +0200 |
wenzelm |
explicit Document.Node.Header, with master_dir and thy_name;
|
file |
diff |
annotate
|
| Tue, 05 Jul 2011 21:32:48 +0200 |
wenzelm |
prefer space_explode/split_lines as in Isabelle/ML;
|
file |
diff |
annotate
|
| Mon, 04 Jul 2011 22:11:32 +0200 |
wenzelm |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
file |
diff |
annotate
|
| Sun, 03 Jul 2011 19:42:32 +0200 |
wenzelm |
more explicit edit_node vs. init_node;
|
file |
diff |
annotate
|
| Sat, 02 Jul 2011 23:04:19 +0200 |
wenzelm |
some support for Session.File_Store;
|
file |
diff |
annotate
|
| Sat, 02 Jul 2011 20:54:38 +0200 |
wenzelm |
eliminated redundant session_ready;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2011 21:27:20 +0200 |
wenzelm |
clarified plugin start/stop;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2011 20:25:35 +0200 |
wenzelm |
init/exit model/view synchronously within the swing thread -- EditBus.send in jedit-4.4.1 always runs there;
|
file |
diff |
annotate
|
| 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
|