Mon, 08 Oct 2007 18:13:06 +0200 | wenzelm | Codegen.is_instance: raw match, ignore sort constraints; | changeset | files |
Mon, 08 Oct 2007 18:13:05 +0200 | wenzelm | turned keywords invariant/freshness_context into reserved indentifiers; | changeset | files |
Mon, 08 Oct 2007 18:13:04 +0200 | wenzelm | tuned generated comment; | changeset | files |