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 |