Job 620

CakeML:fc7210e6e390f10177982607373a07ef1e4b5808
  Update for new s-expression syntax (using  [Dec 09 05:04:39]
HOL:5e4369a4a208507b43df4343e08b5fca51872a25
  Slightly extend documentation of fn-update syntax with more example [Dec 08 10:49:26]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Dec 09 10:15:02 Claimed job
Dec 09 10:15:07 Building HOL
Dec 09 10:24:24 Starting developers
Dec 09 10:24:27 Finished developers                                               2s  21MB
Dec 09 10:24:28 Starting developers/bin Dec 09 10:24:28 15s