switch end of proof step marker from ".." to ";;"
add a new command: Verify