Job 3535

CakeML:6489a20ee3eef15420994b8c63b1f460382ccba3
  Cheaper name-character test and tokenizer in cake_pb [Sep 21 11:47:33]
#1496 (pb-solx)
Merging into:e0f3254c9d7511555f350b29bd7a4aa0474f07cf
  Translates and makes the AST available to the REPL (#1488) [Sep 19 09:29:03]
HOL:dfff742b1f89a43e9c1812a146e9a40d4c4d89fc
  Avoid Q.prove in Lib [Sep 16 11:12:56]