| Fri, 05 May 2006 21:59:47 +0200 | wenzelm | replaced Sorts.DOMAIN by general Sorts.CLASS_ERROR; | changeset | files |
| Fri, 05 May 2006 21:59:46 +0200 | wenzelm | added class_error and exception CLASS_ERROR (supercedes DOMAIN); | changeset | files |
| Fri, 05 May 2006 21:59:45 +0200 | wenzelm | added syntax for _type_constraint_; | changeset | files |
| Fri, 05 May 2006 21:59:44 +0200 | wenzelm | extern_early: improved handling of undeclared constants; | changeset | files |
| Fri, 05 May 2006 21:59:43 +0200 | wenzelm | replaced Graph.find_paths by Graph.irreducible_paths; | changeset | files |
| Fri, 05 May 2006 21:59:43 +0200 | wenzelm | of_sort: explicit cache value; | changeset | files |