| Tue, 15 Apr 2014 11:05:48 +0200 | wenzelm | common context menu for Isabelle/jEdit; | changeset | files |
| Tue, 15 Apr 2014 10:44:38 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 15 Apr 2014 00:23:15 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 15 Apr 2014 00:21:31 +0200 | wenzelm | tuned spelling; | changeset | files |
| Tue, 15 Apr 2014 00:14:57 +0200 | wenzelm | tuned menu; | changeset | files |
| Tue, 15 Apr 2014 00:07:07 +0200 | wenzelm | NEWS; | changeset | files |
| Tue, 15 Apr 2014 00:03:39 +0200 | wenzelm | tuned spelling; | changeset | files |
| Mon, 14 Apr 2014 23:26:52 +0200 | wenzelm | proper signature for dynamic BeanShell action; | changeset | files |
| Mon, 14 Apr 2014 23:24:05 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 14 Apr 2014 23:13:10 +0200 | wenzelm | added context menu for spell checker actions; | changeset | files |
| Mon, 14 Apr 2014 22:51:23 +0200 | wenzelm | full repaint after dictionary update; | changeset | files |
| Mon, 14 Apr 2014 21:51:41 +0200 | wenzelm | some actions to maintain spell-checker dictionary; | changeset | files |