Update proof mode docs w.r.t. new syntax.

1 job for master