| Wed, 07 Aug 2024 12:50:22 +0200 | wenzelm | recover lost update (see 11b8f2e4c3d2 and 4041e7c8059d); | file | diff | annotate |
| Tue, 06 Aug 2024 12:31:42 +0200 | nipkow | branches of case expressions may need to be eta-expanded | file | diff | annotate |
| Sun, 04 Aug 2024 17:39:47 +0200 | wenzelm | tuned: more explicit dest_Const_name and dest_Const_type; | file | diff | annotate |
| Mon, 29 Jul 2024 15:26:03 +0200 | nipkow | time_function T_map can now be generated automatically. | file | diff | annotate |
| Wed, 27 Mar 2024 16:48:23 +0100 | nipkow | updated time functions for Array_Braun | file | diff | annotate |
| Sun, 24 Mar 2024 14:50:47 +0100 | nipkow | more uniform command names | file | diff | annotate |
| Sat, 24 Feb 2024 11:29:30 +0100 | nipkow | timing function generation bug fix by Jonas Stahl | file | diff | annotate |