| Thu, 06 Feb 2025 14:46:49 +0100 | nipkow | added time_partial_function command | file | diff | annotate |
| Sat, 30 Nov 2024 22:33:21 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 07 Nov 2024 16:21:57 +0100 | nipkow | better termination behaviour | file | diff | annotate |