Fri, 19 Oct 2007 16:13:53 +0200 | wenzelm | do not export standard_infer_types; | changeset | files |
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 |