| Thu, 28 Sep 2006 23:42:43 +0200 | wenzelm | fixed translations: CONST; | changeset | files |
| Thu, 28 Sep 2006 23:42:39 +0200 | wenzelm | replaced syntax/translations by abbreviation; | changeset | files |
| Thu, 28 Sep 2006 23:42:35 +0200 | wenzelm | replaced syntax/translations by abbreviation; | changeset | files |
| Thu, 28 Sep 2006 23:42:32 +0200 | wenzelm | removed obsolete Real/document/root.tex; | changeset | files |
| Thu, 28 Sep 2006 23:42:30 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 28 Sep 2006 21:01:13 +0200 | huffman | rearranged axioms and simp rules for scaleR | changeset | files |
| Thu, 28 Sep 2006 20:30:53 +0200 | wenzelm | added Poly/ML 4.9.1 (experimental!); | changeset | files |