| Thu, 01 Dec 2005 22:03:01 +0100 | wenzelm | unfold_tac: static evaluation of simpset; | changeset | files |
| Thu, 01 Dec 2005 18:45:24 +0100 | wenzelm | superceded by timestart|stop.bash; | changeset | files |
| Thu, 01 Dec 2005 18:44:47 +0100 | wenzelm | cpu time = user + system; | changeset | files |
| Thu, 01 Dec 2005 18:41:46 +0100 | wenzelm | replaced lib/scripts/showtime by more advanced lib/scripts/timestart|stop.bash; | changeset | files |
| Thu, 01 Dec 2005 18:41:44 +0100 | berghofe | assoc_consts and assoc_types now check number of arguments in template. | changeset | files |
| Thu, 01 Dec 2005 18:39:08 +0100 | berghofe | Added new component "sorts" to record datatype_info. | changeset | files |
| Thu, 01 Dec 2005 18:37:39 +0100 | wenzelm | timestop - report timing based on environment (cf. timestart.bash); | changeset | files |