| Thu, 28 Jan 2010 22:19:27 +0100 | wenzelm | make underscores visually appear as such, although TeX-nically they are just rules (e.g. cannot be searched); | changeset | files |
| Sat, 16 Jan 2010 21:14:15 +0100 | wenzelm | Netbeans Library "Scala-compiler"; | changeset | files |
| Fri, 15 Jan 2010 19:14:51 +0100 | berghofe | union is an abbreviation for sup. | changeset | files |
| Fri, 15 Jan 2010 14:43:00 +0100 | berghofe | merged | changeset | files |
| Fri, 15 Jan 2010 13:37:41 +0100 | berghofe | Eliminated is_open option of Rule_Cases.make_nested/make_common; | changeset | files |
| Sun, 10 Jan 2010 18:43:45 +0100 | berghofe | Adapted to changes in induct method. | changeset | files |