Mon, 18 Nov 2024 12:35:44 +0100 avoid informatik.tu-muenchen.de domain: soon to be discontinued;
Fabian Huch <huch@in.tum.de> [Mon, 18 Nov 2024 12:35:44 +0100] rev 81468
avoid informatik.tu-muenchen.de domain: soon to be discontinued;
Sun, 17 Nov 2024 21:20:26 +0100 renamed Discrete -> Discrete_Functions to avoid name clashes;
nipkow [Sun, 17 Nov 2024 21:20:26 +0100] rev 81467
renamed Discrete -> Discrete_Functions to avoid name clashes; new function names floor_log/sqrt to avoid long Discrete_Functions.log/sqrt
Sun, 17 Nov 2024 09:50:54 +0100 Use Var to maintain the difference between function and locale parameters
nipkow [Sun, 17 Nov 2024 09:50:54 +0100] rev 81466
Use Var to maintain the difference between function and locale parameters
Sat, 16 Nov 2024 22:46:33 +0100 tuned
nipkow [Sat, 16 Nov 2024 22:46:33 +0100] rev 81465
tuned
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip