Job 1686

  Insert a pointer to source_eval in a comment
#850 (eval)
Merging into:ac6dd83f48ab211455fb85c60d3e20e212dc7b8a
  Remove some primes
  Fix a proof in face of automatic simp change in affbde85bd8
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Building HOL
 Starting developers
 Finished developers                                               4s 101MB
 Starting developers/bin
 FAILED: developers/bin
Starting work on cake-x64-64.tar.gz
cake-x64-64.tar.gz                                                  (0s)     OK
Starting work on cake.S
cake.S                                                              (0s)FAIL<2>
 gzip: stdin: not in gzip format
 tar: Child returned status 1
 tar: Error is not recoverable: exiting now
README.md                                                           (0s)MKILLED