Rework the handling of cache synchronization; new design is much
authorChris Hanson <org/chris-hanson/cph>
Mon, 27 Mar 2000 17:41:35 +0000 (17:41 +0000)
committerChris Hanson <org/chris-hanson/cph>
Mon, 27 Mar 2000 17:41:35 +0000 (17:41 +0000)
commitca1cf51aefca79e33c8c6f7af491b34239eb0226
tree6897be7b45aa23787443c173c23aec862b5032f1
parent5bb05c9ca9492dffa354b8b13315f0312c49e054
Rework the handling of cache synchronization; new design is much
simpler and less prone to errors.  Add messages to the handful of CVS
commands that were missing them.  Fix a few minor bugs.
v7/src/edwin/vc.scm