| 2005-03-11 | webertj | code reformatted | changeset | files |
| 2005-03-11 | webertj | code reformatted | changeset | files |
| 2005-03-10 | huffman | fixed bug: domain package can now define three or more mutually recursive types simultaneously | changeset | files |
| 2005-03-10 | huffman | domain package now permits indirect recursion with these type constructors: *, ->, ++, **, u | changeset | files |
| 2005-03-10 | huffman | fixed filename in header | changeset | files |
| 2005-03-10 | huffman | instance u :: (cpo) pcpo -- argument type no longer needs to be pointed | changeset | files |
| 2005-03-10 | ballarin | Registrations of global locale interpretations: improved, better naming. | changeset | files |
| Loading... | |||