| Sun, 12 Jul 2020 18:10:06 +0000 | haftmann | words added to code generator test | changeset | files |
| Sat, 11 Jul 2020 18:09:09 +0000 | haftmann | a generic horner sum operation | changeset | files |
| Sat, 11 Jul 2020 18:09:08 +0000 | haftmann | more thms | changeset | files |
| Sat, 11 Jul 2020 18:19:08 +0200 | wenzelm | clarified message --- as in former ML version (see 940195fbb282); | changeset | files |
| Sat, 11 Jul 2020 17:15:28 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 11 Jul 2020 17:08:26 +0200 | wenzelm | clarified messages: avoid duplicate Timing; | changeset | files |
| Sat, 11 Jul 2020 16:58:38 +0200 | wenzelm | clarified messages; | changeset | files |
| Sat, 11 Jul 2020 16:41:55 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 11 Jul 2020 16:37:32 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 11 Jul 2020 16:32:25 +0200 | wenzelm | avoid duplicate Timing messages (see also 5c4800f6b25a); | changeset | files |
| Sat, 11 Jul 2020 16:25:17 +0200 | wenzelm | more accurate message; | changeset | files |
| Sat, 11 Jul 2020 15:52:54 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 11 Jul 2020 15:51:15 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 11 Jul 2020 15:23:22 +0200 | wenzelm | clarified inlined protocol messages; | changeset | files |
| Sat, 11 Jul 2020 14:44:50 +0200 | wenzelm | removed unused property; | changeset | files |