Job 1208

CakeML:cea42c5fd19d5c10336b10de2209478e7061365e
  Merge pull request #733 from CakeML/trans-pure-seq [Mar 14 16:24:17]
HOL:ba25c5756203bd0ef0d73e04022916ccb291e1e5
  Write some comment-documentation [Mar 10 00:09:00]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Mar 15 11:45:02 Claimed job
Mar 15 11:45:15 Building HOL