Sat, 13 Oct 2007 17:16:46 +0200 | wenzelm | PolyML.Compiler.maxInlineSize := 80; | changeset | files |
Sat, 13 Oct 2007 17:16:45 +0200 | wenzelm | abbrev: return hypothetical def; | changeset | files |
Sat, 13 Oct 2007 17:16:44 +0200 | wenzelm | renamed def to define; | changeset | files |