Fri, 19 Oct 2007 15:08:33 +0200 | haftmann | clarified abbreviations in class context | changeset | files |
Fri, 19 Oct 2007 12:22:12 +0200 | ballarin | Interpretation equations may have name and/or attribute; | changeset | files |
Fri, 19 Oct 2007 12:21:32 +0200 | ballarin | Interpretation equations may have name and/or attribute. | changeset | files |
Fri, 19 Oct 2007 10:44:45 +0200 | krauss | updated | changeset | files |
Fri, 19 Oct 2007 10:05:21 +0200 | krauss | removed funny formatting | changeset | files |
Fri, 19 Oct 2007 09:59:46 +0200 | krauss | Updated function tutorial: Types can be inferred and need not be given anymore | changeset | files |
Fri, 19 Oct 2007 07:48:25 +0200 | haftmann | 98% localized | changeset | files |