CakeML:b94ca1db7fb392d05ab143a451a30f7a5ba3390d Adjust @myreen's editor settings [Oct 18 21:56:34] HOL:07c84bff2b89ddb2c81c57884f4141bbc37accdb Fix cv_compute regression test to cope with case-sensitive files [Oct 15 03:20:04] Machine:lammmington Oct 18 22:13:13 Claimed job