Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-10 00:07:43 -0700 (Sat, 10 Jul 2004)
Revision: 6053
Log message:
- Made the tracking of "this operation modified some proof" flag more precise
by having the low-level operations (e.g. edit_interpret) report whether something
was modified as opposed to having the high-level operations guess what have happened.
- Do not do auto-backups when "-batch" command-line flag is used (we do not want
things like status-all and mmc compiler to do auto-backups).