2013-08-07 | wenzelm | more NEWS and CONTRIBUTORS; | changeset | files |
2013-08-02 | Christian Sternagel | some documentation for adhoc overloading; | changeset | files |
2013-08-02 | Christian Sternagel | added examples of adhoc overloading | changeset | files |
2013-08-02 | Christian Sternagel | use uniform spelling of "adhoc" | changeset | files |
2013-08-02 | Christian Sternagel | tuned formatting of error message | changeset | files |
2013-08-07 | wenzelm | tuned proofs; | changeset | files |
2013-08-07 | wenzelm | tuned signature; | changeset | files |
Loading... |