Job 2462

CakeML:42b33c6e6c407afdf79144c3e31301d4aa78a5ff
  Fix tab characters in previous, oops [Jul 18 05:35:25]
#1016 (master)
Merging into:1791142331ecadf0de62e3834aa2785ffbd51f8b
  Make a theorem name unambiguous [Jul 17 09:29:17]
HOL:c37de731916a5fe5fdc6218d4b2e19234435e4ce
  Add lots of regexp matching regression tests for DBSearchParser [Jul 15 06:13:45]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jul 18 06:55:27 Claimed job