| Thu, 24 May 2012 14:46:14 +0200 | wenzelm | less specific sample usage; | changeset | files |
| Thu, 24 May 2012 13:56:21 +0200 | wenzelm | some post-release notes; | changeset | files |
| Wed, 23 May 2012 21:19:48 +0200 | blanchet | tuned names | changeset | files |
| Wed, 23 May 2012 21:19:48 +0200 | blanchet | order LEO-II/Satallax definitions so that they build on each other (cf. Satallax's THF policy) | changeset | files |