Job 665

CakeML:1e78b6f2c23f0458b33ff988bcbdfca5a06f24b6
  Fix manual eval_rel proof in monad translator. [Jan 04 13:31:13]
#595 (local)
Merging into:371799ef0611090c155463ddcb642a80085152d7
  Work around a parsing bug in HOL [Jan 07 13:35:47]
HOL:05a6c64e4b3f9b7d262ed7f1704dd9333bbde1c7
  Merge pull request #612 from HOL-Theorem-Prover/HOL-RL [Jan 04 02:04:01]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Jan 07 13:37:03 Claimed job