| Sat, 06 Aug 2011 14:16:23 +0200 | nipkow | extended user-level attribute case_names with names for case hypotheses | changeset | files |
| 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 |
| Sun, 07 Aug 2011 18:38:36 +0200 | wenzelm | fixed document; | changeset | files |
| Fri, 05 Aug 2011 23:06:54 +0200 | haftmann | tuned order: pushing INF and SUP to Inf and Sup | changeset | files |
| Fri, 05 Aug 2011 22:58:17 +0200 | haftmann | tuned order: pushing INF and SUP to Inf and Sup | changeset | files |