| Thu, 06 Feb 2025 14:46:49 +0100 | nipkow | added time_partial_function command | file | diff | annotate |
| Wed, 06 Nov 2024 16:27:06 +0100 | nipkow | More time for primitive functions | file | diff | annotate |
| Sat, 12 Oct 2024 12:45:29 +0900 | nipkow | new HO time functions | file | diff | annotate |
| Wed, 02 Oct 2024 18:32:36 +0200 | Fabian Huch | proper command kinds; | file | diff | annotate |
| Fri, 23 Aug 2024 18:40:12 +0200 | nipkow | tuned comments | file | diff | annotate |
| Mon, 25 Mar 2024 14:08:25 +0100 | nipkow | documented running time function framework by Jonas Stahl | file | diff | annotate |
| Sun, 24 Mar 2024 14:50:47 +0100 | nipkow | more uniform command names | file | diff | annotate |
| Mon, 15 Jan 2024 22:50:13 +0100 | nipkow | Added time function automation | file | diff | annotate |