| Thu, 10 Dec 2015 16:31:00 +0100 | wenzelm | hardwired LANG, to avoid sporadic surprises with local environments; | changeset | files |
| Thu, 10 Dec 2015 15:53:28 +0100 | wenzelm | make SML/NJ happy; | changeset | files |
| Thu, 10 Dec 2015 13:38:40 +0000 | paulson | not_leE -> not_le_imp_less and other tidying | changeset | files |