| Sun, 03 Jun 2018 22:02:20 +0200 | wenzelm | fork parallel prints early in execution: avoid degradation of priority due to main eval task; | changeset | files |
| Sun, 03 Jun 2018 20:37:16 +0200 | wenzelm | clarified signature: prefer Document.Snapshot; | changeset | files |
| Sun, 03 Jun 2018 19:06:56 +0200 | nipkow | list syntax details | changeset | files |
| Sun, 03 Jun 2018 18:23:38 +0200 | nipkow | merged | changeset | files |