Job 2049

CakeML:eab9fb49e2e2645f23933918b56a49432bf08292
  Fix a minor annoyance in Holmakefile [Nov 30 07:30:42]
#911 (libm_gen)
Merging into:3687487b0ceaa28ee5ceff431d51fa5303742e1f
  Merge pull request #918 from CakeML/clos-interpreter [Nov 29 06:06:35]
HOL:d0b3ed8db24b325fc085f0864a933ac47023006b
  emacs-mode: remove TABs [Nov 28 05:15:59]
Machine:LocalTest

Nov 30 15:26:05 Claimed job
Nov 30 15:26:07 Reusing HOL
Nov 30 15:26:23 Starting developers
Nov 30 15:26:28 Finished developers                                               4s 111MB
Nov 30 15:26:29 Starting developers/bin
Nov 30 15:26:39 Finished developers/bin                                          10s   1GB
Nov 30 15:26:39 Starting compiler/proofs Nov 30 15:26:39 1376s