| Sat, 28 Jul 2018 21:21:26 +0200 | wenzelm | proper return code (true) if file is absent; | changeset | files |
| Sat, 28 Jul 2018 19:55:14 +0200 | wenzelm | clarified word syntax for the sake of control symbols, e.g. \<^term>; | changeset | files |
| Sat, 28 Jul 2018 17:25:40 +0200 | wenzelm | updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4; | changeset | files |