| Mon, 01 Aug 2011 12:08:53 +0200 | nipkow | infrastructure for attaching names to hypothesis in cases; realised via the same tag mechanism as case names | changeset | files |
| Sun, 07 Aug 2011 23:08:07 +0200 | wenzelm | workaround for Java 1.7 where javax.swing.JComboBox<E> is generic; | changeset | files |
| Sun, 07 Aug 2011 23:05:50 +0200 | wenzelm | updated version information; | changeset | files |