Sun, 15 Jul 2012 22:56:49 +0200 | updated versions | file | diff | annotate |
Wed, 27 Jun 2012 17:52:07 +0200 | added universal jdk-6u31 as standard component; | file | diff | annotate |
Wed, 27 Jun 2012 17:51:06 +0200 | added ProofGeneral-4.1 as standard component, which allows to discontinue special choosefrom magic eventually; | file | diff | annotate |
Tue, 26 Jun 2012 22:26:41 +0200 | include jedut_build among canonical components | file | diff | annotate |
Sat, 23 Jun 2012 20:34:21 +0200 | more standard filename for common components | file | diff | annotate |