proof-indent-commands-regexp: use proof-no-regexp;

isar-global-save-command-p: more robust wrt. empty prev span (malformed!?);
isar-preprocessing: fixed terminator regexp;

0 files changed, 0 insertions, 0 deletions