Job 848

CakeML:f3af75842ad48b2b116441cdb49066c1c2bc45b7
  Merge branch 'master' into vstte18 [May 08 16:07:57]
#629 (vstte18)
Merging into:331972bc323d7886b60ecbab12195ee6999bcdeb
  Merge pull request #634 from CakeML/cleanup [May 08 15:37:32]
HOL:544f92fea1905436f7a85854eed6dcb089568063
  Emacs mode: key-bindings for  [May 05 04:49:45]
Machine:te1

May 08 16:20:28 Claimed job
May 08 16:20:34 Building HOL
May 08 17:01:30 FAILED: building HOL