| Tue, 06 Aug 2002 11:19:52 +0200 | wenzelm | predefined locales "var" and "struct" (useful for sharing parameters); | changeset | files |
| Tue, 06 Aug 2002 11:19:00 +0200 | wenzelm | * Pure: predefined locales "var" and "struct" are useful for sharing | changeset | files |
| Mon, 05 Aug 2002 21:17:45 +0200 | wenzelm | protect simplifier operation against spurious exceptions from simprocs; | changeset | files |
| Mon, 05 Aug 2002 21:17:04 +0200 | wenzelm | tuned; | changeset | files |