| Tue, 17 Sep 2013 15:18:14 +0200 | lammich | order_bot, order_top | file | diff | annotate |
| Tue, 17 Sep 2013 13:40:44 +0200 | noschinl | NEWS: Simps_Case_Conv | file | diff | annotate |
| Mon, 16 Sep 2013 11:46:24 +0200 | wenzelm | more NEWS; | file | diff | annotate |
| Fri, 13 Sep 2013 09:31:45 +0200 | krauss | merged | file | diff | annotate |
| Tue, 10 Sep 2013 20:34:32 +0200 | krauss | NEWS and CONTRIBUTORS | file | diff | annotate |
| Wed, 11 Sep 2013 18:52:30 +0200 | haftmann | more correct NEWS | file | diff | annotate |
| Wed, 11 Sep 2013 11:08:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 04 Sep 2013 12:20:00 +0200 | wenzelm | remove Swing input map, which might bind keys in unexpected ways (e.g. LEFT/RIGHT in singleton list); | file | diff | annotate |
| Mon, 02 Sep 2013 17:14:35 +0200 | Andreas Lochbihler | NEWS | file | diff | annotate |
| Sat, 31 Aug 2013 12:14:19 +0200 | wenzelm | more accurate description: Swing/L&F has additional handlers; | file | diff | annotate |
| Fri, 30 Aug 2013 13:46:32 +0200 | wenzelm | merged | file | diff | annotate |
| Fri, 30 Aug 2013 13:45:57 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Fri, 30 Aug 2013 12:12:41 +0200 | blanchet | renamed command to clarify connection with BNF | file | diff | annotate |
| Fri, 30 Aug 2013 12:06:37 +0200 | blanchet | updated news/contributors with BNF stuff | file | diff | annotate |
| Thu, 29 Aug 2013 21:49:46 +0200 | wenzelm | added action isabelle.complete, using standard jEdit keyboard shortcut; | file | diff | annotate |