| Thu, 03 Oct 2013 19:01:10 +0200 | wenzelm | back to post-release mode -- after fork point; | file | diff | annotate |
| Thu, 03 Oct 2013 00:39:16 +0200 | ballarin | Streamlined locales reference material. | file | diff | annotate |
| Wed, 02 Oct 2013 17:08:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 02 Oct 2013 16:56:02 +0200 | wenzelm | misc tuning for release; | file | diff | annotate |
| Wed, 02 Oct 2013 15:53:20 +0200 | traytel | NEWS and CONTRIBUTORS | file | diff | annotate |
| Wed, 02 Oct 2013 10:13:54 +0300 | kuncar | NEWS and CONTRIBUTORS | file | diff | annotate |
| Tue, 01 Oct 2013 14:29:27 +0200 | blanchet | minor textual changes | file | diff | annotate |
| Sun, 29 Sep 2013 12:56:50 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 29 Sep 2013 12:44:40 +0200 | wenzelm | more on text completion; | file | diff | annotate |
| Sat, 28 Sep 2013 16:10:26 +0200 | wenzelm | misc tuning for release; | file | diff | annotate |
| Sat, 28 Sep 2013 14:36:04 +0200 | wenzelm | uniform $ISABELLE_HOME on all platforms; | file | diff | annotate |
| Wed, 25 Sep 2013 16:29:35 +0200 | wenzelm | updated documentation concerning MacOSX plugin 1.3; | file | diff | annotate |
| Tue, 24 Sep 2013 20:24:14 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 23 Sep 2013 14:53:43 +0200 | blanchet | document "spy" | file | diff | annotate |
| Mon, 23 Sep 2013 14:53:43 +0200 | blanchet | document "spy" option | file | diff | annotate |
| Fri, 20 Sep 2013 22:39:30 +0200 | blanchet | updated NEWS | file | diff | annotate |
| Thu, 19 Sep 2013 18:59:28 +0200 | blanchet | updated NEWS | file | diff | annotate |
| Thu, 19 Sep 2013 01:15:26 +0200 | blanchet | updated NEWS and CONTRIBUTORS | file | diff | annotate |
| Wed, 18 Sep 2013 13:18:51 +0200 | wenzelm | improved printing of exception trace in Poly/ML 5.5.1; | file | diff | annotate |
| 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 |