Tue, 07 Oct 2014 21:29:59 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 23:09:27 +0200 |
wenzelm |
more refs;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 22:46:20 +0200 |
wenzelm |
prefer @{cite} antiquotation;
|
file |
diff |
annotate
|
Fri, 08 Aug 2014 11:43:08 +0200 |
wenzelm |
improved monitor panel;
|
file |
diff |
annotate
|
Thu, 31 Jul 2014 21:29:31 +0200 |
wenzelm |
completion popup supports both ENTER and TAB (default);
|
file |
diff |
annotate
|
Mon, 28 Jul 2014 11:03:28 +0200 |
wenzelm |
some actual workaround to remove document nodes;
|
file |
diff |
annotate
|
Wed, 23 Jul 2014 23:08:22 +0200 |
wenzelm |
added action "isabelle.options" (despite problems with initial window size);
|
file |
diff |
annotate
|
Tue, 22 Jul 2014 12:05:53 +0200 |
wenzelm |
more default imports;
|
file |
diff |
annotate
|
Mon, 21 Jul 2014 14:24:10 +0200 |
wenzelm |
always complete explicit symbols;
|
file |
diff |
annotate
|
Sat, 28 Jun 2014 18:02:33 +0200 |
wenzelm |
jedit_completion_immediate is enabled by default: let all users participate in slightly more ambitious symbol insertion;
|
file |
diff |
annotate
|
Sat, 28 Jun 2014 11:19:58 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Fri, 27 Jun 2014 16:04:56 +0200 |
wenzelm |
command 'print_term_bindings' supersedes 'print_binds';
|
file |
diff |
annotate
|
Wed, 18 Jun 2014 21:47:30 +0200 |
wenzelm |
added screenshot;
|
file |
diff |
annotate
|
Wed, 18 Jun 2014 21:23:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 18 Jun 2014 21:17:48 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Tue, 17 Jun 2014 22:18:18 +0200 |
wenzelm |
added screenshot;
|
file |
diff |
annotate
|
Tue, 17 Jun 2014 22:00:25 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Mon, 16 Jun 2014 21:26:50 +0200 |
wenzelm |
formal check of jEdit actions;
|
file |
diff |
annotate
|
Mon, 16 Jun 2014 20:50:56 +0200 |
wenzelm |
more on "Completion";
|
file |
diff |
annotate
|
Mon, 16 Jun 2014 14:04:48 +0200 |
wenzelm |
more on "Completion";
|
file |
diff |
annotate
|
Mon, 16 Jun 2014 13:06:31 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 16 Jun 2014 12:41:51 +0200 |
wenzelm |
added Index;
|
file |
diff |
annotate
|
Sat, 14 Jun 2014 12:38:14 +0200 |
wenzelm |
more on "Completion";
|
file |
diff |
annotate
|
Fri, 13 Jun 2014 22:15:13 +0200 |
wenzelm |
more on "Completion";
|
file |
diff |
annotate
|
Fri, 13 Jun 2014 21:58:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 13 Jun 2014 20:01:39 +0200 |
wenzelm |
more on "Completion";
|
file |
diff |
annotate
|
Thu, 12 Jun 2014 21:21:44 +0200 |
wenzelm |
more on "Completion";
|
file |
diff |
annotate
|
Wed, 11 Jun 2014 22:28:24 +0200 |
wenzelm |
more on "Auxiliary files";
|
file |
diff |
annotate
|
Wed, 11 Jun 2014 14:01:04 +0200 |
wenzelm |
more on "Document model";
|
file |
diff |
annotate
|
Mon, 09 Jun 2014 20:44:13 +0200 |
wenzelm |
suppress index;
|
file |
diff |
annotate
|