changeset 53608 | ff0e0bb81597 |
parent 53560 | bc5c96c74514 |
child 54151 | 2b5580da3874 |
1.1 --- a/Admin/components/main Thu Jun 27 23:17:26 2013 +0200 1.2 +++ b/Admin/components/main Fri Jun 28 14:05:12 2013 +0200 1.3 @@ -4,7 +4,7 @@ 1.4 exec_process-1.0.3 1.5 Haskabelle-2013 1.6 jdk-7u21 1.7 -jedit_build-20130104 1.8 +jedit_build-20130628 1.9 jfreechart-1.0.14 1.10 kodkodi-1.5.2 1.11 polyml-5.5.0-3