| Sun, 08 Jun 2008 14:31:06 +0200 | wenzelm | updated generated file; | changeset | files |
| Sun, 08 Jun 2008 14:30:46 +0200 | wenzelm | minor typos; | changeset | files |
| Sun, 08 Jun 2008 14:30:07 +0200 | wenzelm | simp: depth_limit is now a configuration option; | changeset | files |
| Sun, 08 Jun 2008 14:29:36 +0200 | wenzelm | removed old AxClass; | changeset | files |
| Sun, 08 Jun 2008 14:29:09 +0200 | wenzelm | remove codegen_process.pdf from distribution; | changeset | files |
| Sat, 07 Jun 2008 19:18:38 +0200 | haftmann | fixed wrong treatment of type variables in instantiation target | changeset | files |
| Fri, 06 Jun 2008 18:36:35 +0200 | wenzelm | switched to Poly/ML 5.2; | changeset | files |
| Fri, 06 Jun 2008 08:52:35 +0200 | isatest | doc test now runs on linux | changeset | files |