Job 1734

CakeML:c74447249e34aa9bad9962a68ed36b4e86f87b56
  Add a toplevel printing hook and the test [Jan 24 12:55:17]
#856 (printing)
Merging into:fe46ca072678de42c6fdfc32f40eafeb917dab02
  Fix proof broken by HOL changes making more rewrites automatic [Jan 20 00:31:55]
HOL:519942511e27fc113f3ebaebbae53aded1eb8134
  Remove q which caused problems. [Jan 24 11:37:15]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Jan 25 03:33:16 Claimed job