Wed, 04 Mar 2015 23:31:13 +0100 | nipkow | merged | changeset | files |
Wed, 04 Mar 2015 23:31:04 +0100 | nipkow | Removed the obsolete functions "natfloor" and "natceiling" | changeset | files |
Wed, 04 Mar 2015 22:05:01 +0100 | wenzelm | clarified signature; | changeset | files |