| Thu, 28 Jun 2012 09:14:57 +0200 | Andreas Lochbihler | add generic phantom type | changeset | files |
| Wed, 27 Jun 2012 17:52:07 +0200 | wenzelm | added universal jdk-6u31 as standard component; | changeset | files |
| Wed, 27 Jun 2012 17:51:06 +0200 | wenzelm | added ProofGeneral-4.1 as standard component, which allows to discontinue special choosefrom magic eventually; | changeset | files |
| Wed, 27 Jun 2012 17:36:46 +0200 | wenzelm | merged | changeset | files |