| Wed, 25 Jul 2012 12:40:17 +0200 | wenzelm | no hardwired default for Proof General component -- its users can use init_component separately; | file | diff | annotate |
| Sun, 15 Jul 2012 22:56:49 +0200 | krauss | updated versions | file | diff | annotate |
| Wed, 27 Jun 2012 17:52:07 +0200 | wenzelm | added universal jdk-6u31 as standard component; | file | diff | annotate |
| Wed, 27 Jun 2012 17:51:06 +0200 | wenzelm | 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 | haftmann | include jedut_build among canonical components | file | diff | annotate |
| Sat, 23 Jun 2012 20:34:21 +0200 | haftmann | more standard filename for common components | file | diff | annotate |