Job 2869

CakeML:5d137c689f3fb2bc7305ca65d95de815546b30b4
  Simplify parse tree conversion of progs by adding default ProgNT [Jun 19 15:59:41]
#1188 (halogentlepersuasion:pan_prog_conv)
Merging into:b378040fc02c949ecd0a24ced798201a572514a4
  Merge pull request #1186 from CakeML/mcandidate-fix [Jun 16 00:47:48]
HOL:98d19aa7937d0d22a22b0a6dc34d08f94e0a7464
  Apply a fix suggested by Yong Kiam [Jun 24 05:53:03]
Machine:lammmington

Jun 24 17:08:41 Claimed job