| Sat, 23 Feb 2019 21:48:18 +0100 | wenzelm | tuned output; | changeset | files |
| Sat, 23 Feb 2019 21:33:09 +0100 | wenzelm | more memory fields; | changeset | files |
| Sat, 23 Feb 2019 21:32:29 +0100 | wenzelm | obsolete; | changeset | files |
| Sat, 23 Feb 2019 19:50:21 +0000 | immler | no more shadowing of Min and Max by Approximation | changeset | files |
| Thu, 21 Feb 2019 09:15:07 +0000 | haftmann | streamlined specification interfaces | changeset | files |
| Thu, 21 Feb 2019 09:15:06 +0000 | haftmann | sligthly more interpunctation and qualification | changeset | files |
| Thu, 21 Feb 2019 09:15:06 +0000 | haftmann | tuned whitespace | changeset | files |
| Wed, 20 Feb 2019 21:54:52 +0100 | wenzelm | physical vs. logical events, the latter takes GC time into account; | changeset | files |