Sun, 21 Aug 2011 21:24:42 +0200 |
wenzelm |
more robust initialization of token marker and line context wrt. session startup;
|
file |
diff |
annotate
|
Sat, 13 Aug 2011 15:59:26 +0200 |
wenzelm |
clarified node header -- exclude master_dir;
|
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
|
Sun, 10 Jul 2011 00:21:19 +0200 |
wenzelm |
propagate header changes to prover process;
|
file |
diff |
annotate
|
Sat, 09 Jul 2011 18:15:23 +0200 |
wenzelm |
clarified propagation of node name and header;
|
file |
diff |
annotate
|
Sat, 09 Jul 2011 13:29:33 +0200 |
wenzelm |
some support for blobs (arbitrary text files) within document nodes;
|
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
|
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 21:24:19 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 20:56:18 +0200 |
wenzelm |
clarified init/exit procedure;
|
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
|
Thu, 16 Jun 2011 22:05:40 +0200 |
wenzelm |
static token markup, based on outer syntax only;
|
file |
diff |
annotate
|
Wed, 15 Jun 2011 16:22:58 +0200 |
wenzelm |
more robust init;
|
file |
diff |
annotate
|
Wed, 15 Jun 2011 14:32:35 +0200 |
wenzelm |
more elaborate syntax styles;
|
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
|