Job 2186

CakeML:edd0b3bfb35fbd28f26acb2d4d6e80c0c76ed260
  Update caml_parserProg translation [Aug 17 17:00:37]
#968 (candle-parser-feature-adds)
Merging into:5c1bae6b33cf93343962f658faefefee12f74a9c
  Merge pull request #965 from CakeML/explorer [Aug 10 04:53:38]
HOL:357d6c43687341407aee3390b69b4f1a7ef5cf57
  Modernise some ratScript.sml syntax [Aug 15 05:20:32]
Machine:pavlova

Aug 18 06:36:16 Claimed job