(replace_buffer_in_all_windows):
[bpt/emacs.git] / lisp / vc-hooks.el
index c875a58..ce002a6 100644 (file)
@@ -1,11 +1,9 @@
 ;;; vc-hooks.el --- resident support for version-control
 
-;; Copyright (C) 1992, 1993, 1994, 1995 Free Software Foundation, Inc.
+;; Copyright (C) 1992, 1993, 1994, 1995, 1996 Free Software Foundation, Inc.
 
-;; Author: Eric S. Raymond <esr@snark.thyrsus.com>
-;; Modified by:
-;;   Per Cederqvist <ceder@lysator.liu.se>
-;;   Andre Spiegel <spiegel@berlin.informatik.uni-stuttgart.de>
+;; Author:     Eric S. Raymond <esr@snark.thyrsus.com>
+;; Maintainer: Andre Spiegel <spiegel@inf.fu-berlin.de>
 
 ;; This file is part of GNU Emacs.
 
@@ -20,8 +18,9 @@
 ;; GNU General Public License for more details.
 
 ;; You should have received a copy of the GNU General Public License
-;; along with GNU Emacs; see the file COPYING.  If not, write to
-;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
+;; along with GNU Emacs; see the file COPYING.  If not, write to the
+;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+;; Boston, MA 02111-1307, USA.
 
 ;;; Commentary:
 
   "*Back-end actually used by this interface; may be SCCS or RCS.
 The value is only computed when needed to avoid an expensive search.")
 
+(defvar vc-handle-cvs t
+  "*If non-nil, use VC for files managed with CVS.
+If it is nil, don't use VC for those files.")
+
+(defvar vc-rcsdiff-knows-brief nil
+  "*Indicates whether rcsdiff understands the --brief option.
+The value is either `yes', `no', or nil.  If it is nil, VC tries
+to use --brief and sets this variable to remember whether it worked.")
+
 (defvar vc-path
   (if (file-directory-p "/usr/sccs")
       '("/usr/sccs")
@@ -50,27 +58,47 @@ The value is only computed when needed to avoid an expensive search.")
     vc-find-cvs-master)
   "*Where to look for version-control master files.
 The first pair corresponding to a given back end is used as a template
-when creating new masters.")
+when creating new masters.
+Setting this variable to nil turns off use of VC entirely.")
 
 (defvar vc-make-backup-files nil
   "*If non-nil, backups of registered files are made as with other files.
 If nil (the default), files covered by version control don't get backups.")
 
+(defvar vc-follow-symlinks 'ask
+  "*Indicates what to do if you visit a symbolic link to a file
+that is under version control.  Editing such a file through the
+link bypasses the version control system, which is dangerous and
+probably not what you want.  
+  If this variable is t, VC follows the link and visits the real file,
+telling you about it in the echo area.  If it is `ask', VC asks for
+confirmation whether it should follow the link.  If nil, the link is
+visited and a warning displayed.")
+
 (defvar vc-display-status t
   "*If non-nil, display revision number and lock status in modeline.
 Otherwise, not displayed.")
 
 (defvar vc-consult-headers t
-  "*Identify work files by searching for version headers.")
-
-(defvar vc-mistrust-permissions nil
-  "*Don't assume that permissions and ownership track version-control status.")
+  "*If non-nil, identify work files by searching for version headers.")
 
 (defvar vc-keep-workfiles t
   "*If non-nil, don't delete working files after registering changes.
 If the back-end is CVS, workfiles are always kept, regardless of the
 value of this flag.")
 
+(defvar vc-mistrust-permissions nil
+  "*If non-nil, don't assume that permissions and ownership track 
+version-control status.  If nil, do rely on the permissions.
+See also variable `vc-consult-headers'.")
+
+(defun vc-mistrust-permissions (file)
+  ;; Access function to the above.
+  (or (eq vc-mistrust-permissions 't)
+      (and vc-mistrust-permissions
+          (funcall vc-mistrust-permissions 
+                   (vc-backend-subdirectory-name file)))))
+
 ;; Tell Emacs about this new kind of minor mode
 (if (not (assoc 'vc-mode minor-mode-alist))
     (setq minor-mode-alist (cons '(vc-mode vc-mode)
@@ -79,24 +107,6 @@ value of this flag.")
 (make-variable-buffer-local 'vc-mode)
 (put 'vc-mode 'permanent-local t)
 
-
-;; branch identification
-
-(defun vc-occurrences (object sequence)
-  ;; return the number of occurences of OBJECT in SEQUENCE
-  ;; (is it really true that Emacs Lisp doesn't provide such a function?)
-  (let ((len (length sequence)) (index 0) (occ 0))
-    (while (< index len)
-      (if (eq object (elt sequence index))
-         (setq occ (1+ occ)))
-      (setq index (1+ index)))
-    occ))
-
-(defun vc-branch-p (rev)
-  ;; return t if REV is the branch part of a revision, 
-  ;; i.e. a revision without a minor number
-  (eq 0 (% (vc-occurrences ?. rev) 2)))
-
 ;; We need a notion of per-file properties because the version
 ;; control state of a file is expensive to derive --- we compute
 ;; them when the file is initially found, keep them up to date 
@@ -124,28 +134,8 @@ value of this flag.")
   ;; clear all properties of a given file
   (setplist (intern file vc-file-prop-obarray) nil))
 
-;; basic properties 
-
-(defun vc-name (file)
-  "Return the master name of a file, nil if it is not registered."
-  (or (vc-file-getprop file 'vc-name)
-      (let ((name-and-type (vc-registered file)))
-       (if name-and-type
-           (progn
-             (vc-file-setprop file 'vc-backend (cdr name-and-type))
-             (vc-file-setprop file 'vc-name (car name-and-type)))))))
-
-(defun vc-backend (file)
-  "Return the version-control type of a file, nil if it is not registered."
-  (and file
-       (or (vc-file-getprop file 'vc-backend)
-          (let ((name-and-type (vc-registered file)))
-            (if name-and-type
-                (progn
-                  (vc-file-setprop file 'vc-name (car name-and-type))
-                  (vc-file-setprop file 'vc-backend (cdr name-and-type))))))))
-
-;; Functions for querying the master and lock files.
+;;; Functions that determine property values, by examining the 
+;;; working file, the master file, or log program output
 
 (defun vc-match-substring (bn)
   (buffer-substring (match-beginning bn) (match-end bn)))
@@ -199,95 +189,179 @@ value of this flag.")
          patterns)
   )
 
-(defun vc-master-info (file fields &optional rfile properties)
-  ;; Search for information in a master file.
-  (if (and file (file-exists-p file))
-      (save-excursion
-       (let ((buf))
-         (setq buf (create-file-buffer file))
-         (set-buffer buf))
-       (erase-buffer)
-       (insert-file-contents file)
-       (set-buffer-modified-p nil)
-       (auto-save-mode nil)
-       (prog1
-           (vc-parse-buffer fields rfile properties)
-         (kill-buffer (current-buffer)))
-       )
-    (if rfile
-       (mapcar
-        (function (lambda (p) (vc-file-setprop rfile p nil)))
-        properties))
-    )
-  )
-
-(defun vc-log-info (command file flags patterns &optional properties)
-  ;; Search for information in log program output.
-  ;; If there is a string `\X' in any of the PATTERNS, replace
-  ;; it with a regexp to search for a branch revision.
-  (if (and file (file-exists-p file))
+(defun vc-insert-file (file &optional limit blocksize)
+  ;; Insert the contents of FILE into the current buffer.
+  ;; Optional argument LIMIT is a regexp. If present,
+  ;; the file is inserted in chunks of size BLOCKSIZE
+  ;; (default 8 kByte), until the first occurrence of
+  ;; LIMIT is found. The function returns nil if FILE 
+  ;; doesn't exist.
+  (erase-buffer)
+  (cond ((file-exists-p file)
+        (cond (limit
+               (if (not blocksize) (setq blocksize 8192))
+               (let (found s)
+                 (while (not found)
+                   (setq s (buffer-size))
+                   (goto-char (1+ s))
+                   (setq found 
+                         (or (zerop (car (cdr 
+                             (insert-file-contents file nil s 
+                              (+ s blocksize)))))
+                             (progn (beginning-of-line)
+                                    (re-search-forward limit nil t)))))))
+              (t (insert-file-contents file)))
+        (set-buffer-modified-p nil)
+        (auto-save-mode nil)
+        t)
+       (t nil)))
+
+(defun vc-parse-locks (file locks)
+  ;; Parse RCS or SCCS locks.
+  ;; The result is a list of the form ((VERSION USER) (VERSION USER) ...),
+  ;; which is returned and stored into the property `vc-master-locks'.
+  (if (not locks) 
+      (vc-file-setprop file 'vc-master-locks 'none)
+    (let ((found t) (index 0) master-locks version user)
+      (cond ((eq (vc-backend file) 'SCCS)
+            (while (string-match "^\\([0-9.]+\\) [0-9.]+ \\([^ ]+\\) .*\n?"
+                                  locks index)
+              (setq version (substring locks 
+                                       (match-beginning 1) (match-end 1)))
+              (setq user (substring locks 
+                                    (match-beginning 2) (match-end 2)))
+              (setq master-locks (append master-locks 
+                                         (list (cons version user))))
+              (setq index (match-end 0))))
+           ((eq (vc-backend file) 'RCS)
+            (while (string-match "[ \t\n]*\\([^:]+\\):\\([0-9.]+\\)"
+                                 locks index)
+              (setq version (substring locks 
+                                       (match-beginning 2) (match-end 2)))
+              (setq user (substring locks 
+                                    (match-beginning 1) (match-end 1)))
+              (setq master-locks (append master-locks 
+                                         (list (cons version user))))
+              (setq index (match-end 0)))
+            (if (string-match ";[ \t\n]+strict;" locks index)
+                (vc-file-setprop file 'vc-checkout-model 'manual)
+              (vc-file-setprop file 'vc-checkout-model 'implicit))))
+      (vc-file-setprop file 'vc-master-locks (or master-locks 'none)))))
+
+(defun vc-simple-command (okstatus command file &rest args)
+  ;; Simple version of vc-do-command, for use in vc-hooks only.
+  ;; Don't switch to the *vc-info* buffer before running the
+  ;; command, because that would change its default directory
+  (save-excursion (set-buffer (get-buffer-create "*vc-info*"))
+                 (erase-buffer))
+  (let ((exec-path (append vc-path exec-path)) exec-status
+       ;; Add vc-path to PATH for the execution of this command.
+       (process-environment
+        (cons (concat "PATH=" (getenv "PATH")
+                      path-separator 
+                      (mapconcat 'identity vc-path path-separator))
+              process-environment)))
+    (setq exec-status 
+         (apply 'call-process command nil "*vc-info*" nil 
+                (append args (list file))))
+    (cond ((> exec-status okstatus)
+          (switch-to-buffer (get-file-buffer file))
+          (shrink-window-if-larger-than-buffer
+           (display-buffer "*vc-info*"))
+          (error "Couldn't find version control information")))
+    exec-status))
+
+(defun vc-fetch-master-properties (file)
+  ;; Fetch those properties of FILE that are stored in the master file.
+  ;; For an RCS file, we don't get vc-latest-version vc-your-latest-version
+  ;; here because that is slow.
+  ;; That gets done if/when the functions vc-latest-version
+  ;; and vc-your-latest-version get called.
+  (save-excursion
+    (cond
+     ((eq (vc-backend file) 'SCCS)
+      (set-buffer (get-buffer-create "*vc-info*"))
+      (if (vc-insert-file (vc-lock-file file))
+         (vc-parse-locks file (buffer-string))
+       (vc-file-setprop file 'vc-master-locks 'none))
+      (vc-insert-file (vc-name file) "^\001e")
+      (vc-parse-buffer 
+       (list '("^\001d D \\([^ ]+\\)" 1)
+            (list (concat "^\001d D \\([^ ]+\\) .* " 
+                          (regexp-quote (vc-user-login-name)) " ") 1))
+       file
+       '(vc-latest-version vc-your-latest-version)))
+
+     ((eq (vc-backend file) 'RCS)
+      (set-buffer (get-buffer-create "*vc-info*"))
+      (vc-insert-file (vc-name file) "^[0-9]")
+      (vc-parse-buffer 
+       (list '("^head[ \t\n]+\\([^;]+\\);" 1)
+            '("^branch[ \t\n]+\\([^;]+\\);" 1)
+            '("^locks[ \t\n]*\\([^;]*;\\([ \t\n]*strict;\\)?\\)" 1))
+       file
+       '(vc-head-version
+        vc-default-branch
+        vc-master-locks))
+      ;; determine vc-master-workfile-version: it is either the head
+      ;; of the trunk, the head of the default branch, or the 
+      ;; "default branch" itself, if that is a full revision number.
+      (let ((default-branch (vc-file-getprop file 'vc-default-branch)))
+       (cond 
+        ;; no default branch
+        ((or (not default-branch) (string= "" default-branch))
+         (vc-file-setprop file 'vc-master-workfile-version 
+                          (vc-file-getprop file 'vc-head-version)))
+        ;; default branch is actually a revision
+        ((string-match "^[0-9]+\\.[0-9]+\\(\\.[0-9]+\\.[0-9]+\\)*$" 
+                       default-branch)
+         (vc-file-setprop file 'vc-master-workfile-version default-branch))
+        ;; else, search for the head of the default branch
+        (t (vc-insert-file (vc-name file) "^desc")
+           (vc-parse-buffer (list (list 
+              (concat "^\\(" 
+                      (regexp-quote default-branch)
+                      "\\.[0-9]+\\)\ndate[ \t]+\\([0-9.]+\\);") 1 2))
+                        file '(vc-master-workfile-version)))))
+      ;; translate the locks
+      (vc-parse-locks file (vc-file-getprop file 'vc-master-locks)))
+
+     ((eq (vc-backend file) 'CVS)
       (save-excursion
-       ;; Run the command (not using vc-do-command, as that is
-        ;; only available within vc.el)
-       ;; Don't switch to the *vc* buffer before running the command
-       ;; because that would change its default-directory.
-       (save-excursion (set-buffer (get-buffer-create "*vc*"))
-                       (erase-buffer))
-       (let ((exec-path (append vc-path exec-path))
-             ;; Add vc-path to PATH for the execution of this command.
-             (process-environment
-              (cons (concat "PATH=" (getenv "PATH")
-                            path-separator
-                            (mapconcat 'identity vc-path path-separator))
-                    process-environment)))
-         (apply 'call-process command nil "*vc*" nil 
-                (append flags (list (file-name-nondirectory file)))))
-       (set-buffer (get-buffer "*vc*"))
-       (set-buffer-modified-p nil)
-       ;; in the RCS case, insert branch version into
-        ;; any patterns that contain \X
-       (if (eq (vc-backend file) 'RCS)
-           (let ((branch 
-                  (car (vc-parse-buffer 
-                        '(("^branch:[ \t]+\\([0-9.]+\\)$" 1))))))
-             (setq patterns
-               (mapcar 
-                (function 
-                 (lambda (p)
-                   (if (string-match "\\\\X" (car p))
-                       (if branch
-                           (cond ((vc-branch-p branch)
-                                  (cons 
-                                   (concat 
-                                    (substring (car p) 0 (match-beginning 0))
-                                    (regexp-quote branch)
-                                    "\\.[0-9]+"
-                                    (substring (car p) (match-end 0)))
-                                   (cdr p)))
-                                 (t
-                                  (cons
-                                   (concat 
-                                    (substring (car p) 0 (match-beginning 0))
-                                    (regexp-quote branch)
-                                    (substring (car p) (match-end 0)))
-                                   (cdr p))))
-                         ;; if there is no current branch, 
-                         ;; return a completely different regexp, 
-                         ;; which searches for the *head*
-                         '("^head:[ \t]+\\([0-9.]+\\)$" 1))
-                     p)))
-                patterns))))
-       (prog1
-           (vc-parse-buffer patterns file properties)
-         (kill-buffer (current-buffer))
-         )
-       )
-    (if file
-       (mapcar
-        (function (lambda (p) (vc-file-setprop file p nil)))
-        properties))
-    )
-  )
+        ;; Call "cvs status" in the right directory, passing only the
+        ;; nondirectory part of the file name -- otherwise CVS might 
+        ;; silently give a wrong result.
+        (let ((default-directory (file-name-directory file)))
+          (vc-simple-command 0 "cvs" (file-name-nondirectory file) "status"))
+       (set-buffer (get-buffer "*vc-info*"))
+       (vc-parse-buffer     
+        ;; CVS 1.3 says "RCS Version:", other releases "RCS Revision:",
+        ;; and CVS 1.4a1 says "Repository revision:".
+        '(("\\(RCS Version\\|RCS Revision\\|Repository revision\\):[\t ]+\\([0-9.]+\\)" 2)
+          ("^File: [^ \t]+[ \t]+Status: \\(.*\\)" 1))
+        file
+        '(vc-latest-version vc-cvs-status))
+       ;; Translate those status values that we understand into symbols.
+       ;; Any other value is converted to nil.
+       (let ((status (vc-file-getprop file 'vc-cvs-status)))
+        (cond 
+         ((string-match "Up-to-date" status)
+          (vc-file-setprop file 'vc-cvs-status 'up-to-date)
+          (vc-file-setprop file 'vc-checkout-time 
+                           (nth 5 (file-attributes file))))
+         ((vc-file-setprop file 'vc-cvs-status
+           (cond 
+            ((string-match "Locally Modified"    status) 'locally-modified)
+            ((string-match "Needs Merge"         status) 'needs-merge)
+            ((string-match "Needs \\(Checkout\\|Patch\\)" status) 
+                                                          'needs-checkout)
+            ((string-match "Unresolved Conflict" status) 'unresolved-conflict)
+            ((string-match "Locally Added"       status) 'locally-added)
+            ((string-match "New file!"           status) 'locally-added)
+            (t 'unknown)
+            ))))))))
+    (if (get-buffer "*vc-info*")
+       (kill-buffer (get-buffer "*vc-info*")))))
 
 ;;; Functions that determine property values, by examining the 
 ;;; working file, the master file, or log program output
@@ -302,139 +376,100 @@ value of this flag.")
   ;;                         visiting FILE)
   ;;          'rev           if a workfile revision was found
   ;;          'rev-and-lock  if revision and lock info was found 
-  (cond 
+  (cond
    ((or (not vc-consult-headers) 
-       (not (get-file-buffer file)) nil))
-   ((save-excursion
+       (not (get-file-buffer file))) nil)
+   ((let (status version locking-user)
+     (save-excursion
       (set-buffer (get-file-buffer file))
       (goto-char (point-min))
       (cond  
        ;; search for $Id or $Header
        ;; -------------------------
-       ((re-search-forward "\\$\\(Id\\|Header\\): [^ ]+ \\([0-9.]+\\) "
-                          nil t)
+       ((or (and (search-forward "$Id: " nil t)
+                (looking-at "[^ ]+ \\([0-9.]+\\) "))
+           (and (progn (goto-char (point-min))
+                       (search-forward "$Header: " nil t))
+                (looking-at "[^ ]+ \\([0-9.]+\\) ")))
+       (goto-char (match-end 0))
        ;; if found, store the revision number ...
-       (let ((rev (buffer-substring (match-beginning 2)
-                                    (match-end 2))))
-         ;; ... and check for the locking state
-         (if (re-search-forward 
-              (concat "\\=[0-9]+/[0-9]+/[0-9]+ "    ; date
-                         "[0-9]+:[0-9]+:[0-9]+ "    ; time
-                         "[^ ]+ [^ ]+ ")            ; author & state
-              nil t)
-             (cond 
-              ;; unlocked revision
-              ((looking-at "\\$")
-               (vc-file-setprop file 'vc-workfile-version rev)
-               (vc-file-setprop file 'vc-locking-user nil)
-               (vc-file-setprop file 'vc-locked-version nil)
-               'rev-and-lock)
-              ;; revision is locked by some user
-              ((looking-at "\\([^ ]+\\) \\$")
-               (vc-file-setprop file 'vc-workfile-version rev)
-               (vc-file-setprop file 'vc-locking-user 
-                                (buffer-substring (match-beginning 1)
-                                                  (match-end 1)))
-               (vc-file-setprop file 'vc-locked-version rev) 
-               'rev-and-lock)
-              ;; everything else: false
-              (nil))
-           ;; unexpected information in
-           ;; keyword string --> quit
-           nil)))
+       (setq version (buffer-substring-no-properties (match-beginning 1)
+                                                     (match-end 1)))
+       ;; ... and check for the locking state
+       (cond 
+        ((looking-at
+          (concat "[0-9]+[/-][01][0-9][/-][0-3][0-9] "             ; date
+           "[0-2][0-9]:[0-5][0-9]+:[0-6][0-9]+\\([+-][0-9:]+\\)? " ; time
+                  "[^ ]+ [^ ]+ "))                       ; author & state
+         (goto-char (match-end 0)) ; [0-6] in regexp handles leap seconds
+         (cond 
+          ;; unlocked revision
+          ((looking-at "\\$")
+           (setq locking-user 'none)
+           (setq status 'rev-and-lock))
+          ;; revision is locked by some user
+          ((looking-at "\\([^ ]+\\) \\$")
+           (setq locking-user
+                 (buffer-substring-no-properties (match-beginning 1)
+                                                 (match-end 1)))
+           (setq status 'rev-and-lock))
+          ;; everything else: false
+          (nil)))
+        ;; unexpected information in
+        ;; keyword string --> quit
+        (nil)))
        ;; search for $Revision
        ;; --------------------
        ((re-search-forward (concat "\\$" 
                                   "Revision: \\([0-9.]+\\) \\$")
                           nil t)
        ;; if found, store the revision number ...
-       (let ((rev (buffer-substring (match-beginning 1)
-                                    (match-end 1))))
-         ;; and see if there's any lock information
-         (goto-char (point-min))
-         (if (re-search-forward (concat "\\$" "Locker:") nil t)
-             (cond ((looking-at " \\([^ ]+\\) \\$")
-                    (vc-file-setprop file 'vc-workfile-version rev)
-                    (vc-file-setprop file 'vc-locking-user
-                                     (buffer-substring (match-beginning 1)
-                                                       (match-end 1)))
-                    (vc-file-setprop file 'vc-locked-version rev)
-                    'rev-and-lock)
-                   ((looking-at " *\\$") 
-                    (vc-file-setprop file 'vc-workfile-version rev)
-                    (vc-file-setprop file 'vc-locking-user nil)
-                    (vc-file-setprop file 'vc-locked-version nil)
-                    'rev-and-lock)
-                   (t 
-                    (vc-file-setprop file 'vc-workfile-version rev)
-                    'rev-and-lock))
-           (vc-file-setprop file 'vc-workfile-version rev)
-           'rev)))
+       (setq version (buffer-substring-no-properties (match-beginning 1)
+                                                     (match-end 1)))
+       ;; and see if there's any lock information
+       (goto-char (point-min))
+       (if (re-search-forward (concat "\\$" "Locker:") nil t)
+           (cond ((looking-at " \\([^ ]+\\) \\$")
+                  (setq locking-user (buffer-substring-no-properties
+                                      (match-beginning 1)
+                                      (match-end 1)))
+                  (setq status 'rev-and-lock))
+                 ((looking-at " *\\$") 
+                  (setq locking-user 'none)
+                  (setq status 'rev-and-lock))
+                 (t 
+                  (setq locking-user 'none)
+                  (setq status 'rev-and-lock)))
+         (setq status 'rev)))
        ;; else: nothing found
        ;; -------------------
-       (t nil))))))
+       (t nil)))
+     (if status (vc-file-setprop file 'vc-workfile-version version))
+     (and (eq status 'rev-and-lock)
+         (eq (vc-backend file) 'RCS)
+         (vc-file-setprop file 'vc-locking-user locking-user)
+         ;; If the file has headers, we don't want to query the master file,
+         ;; because that would eliminate all the performance gain the headers
+         ;; brought us.  We therefore use a heuristic for the checkout model 
+         ;; now:  If we trust the file permissions, and the file is not 
+          ;; locked, then if the file is read-only the checkout model is 
+         ;; `manual', otherwise `implicit'.
+         (not (vc-mistrust-permissions file))
+         (not (vc-locking-user file))
+         (if (string-match ".r-..-..-." (nth 8 (file-attributes file)))
+             (vc-file-setprop file 'vc-checkout-model 'manual)
+           (vc-file-setprop file 'vc-checkout-model 'implicit)))
+     status))))
 
-(defun vc-fetch-properties (file)
-  ;; Re-fetch some properties associated with the given file.
-  (cond 
-   ((eq (vc-backend file) 'SCCS)
-    (progn
-      (vc-master-info (vc-lock-file file)
-                     (list
-                      '("^[^ ]+ [^ ]+ \\([^ ]+\\)" 1)
-                      '("^\\([^ ]+\\)" 1))
-                     file
-                     '(vc-locking-user vc-locked-version))
-      (vc-master-info (vc-name file)
-                     (list
-                      '("^\001d D \\([^ ]+\\)" 1)
-                      (list (concat "^\001d D \\([^ ]+\\) .* " 
-                                    (regexp-quote (user-login-name)) " ")
-                            1)
-                      )
-                     file
-                     '(vc-latest-version vc-your-latest-version))
-      ))
-   ((eq (vc-backend file) 'RCS)
-    (vc-log-info "rlog" file nil
-                (list
-                 '("^locks: strict\n\t\\([^:]+\\)" 1)
-                 '("^locks: strict\n\t[^:]+: \\(.+\\)" 1)
-                 '("^revision[\t ]+\\([0-9.]+\\)\\(\n\\|[ \t].*\n\\)date: \\([ /0-9:]+\\);" 1 3)
-                 (list 
-                  (concat
-                   "^revision[\t ]+\\([0-9.]+\\)\\(\n\\|[ \t].*\n\\)date: \\([ /0-9:]+\\); *author: "
-                   (regexp-quote (user-login-name))
-                   ";") 1 3)
-                 ;; special regexp to search for branch revision:
-                 ;; \X will be replaced by vc-log-info (see there)
-                 '("^revision[\t ]+\\(\\X\\)\\(\n\\|[ \t].*\n\\)date: \\([ /0-9:]+\\);" 1 3))
-
-                '(vc-locking-user 
-                  vc-locked-version
-                  vc-latest-version 
-                  vc-your-latest-version
-                  vc-branch-version)))
-   ((eq (vc-backend file) 'CVS)
-    (vc-log-info "cvs" file '("status")
-    ;; CVS 1.3 says "RCS Version:", other releases "RCS Revision:",
-    ;; and CVS 1.4a1 says "Repository revision:".
-    '(("\\(RCS Version\\|RCS Revision\\|Repository revision\\):[\t ]+\\([0-9.]+\\)" 2)
-      ("^File: [^ \t]+[ \t]+Status: \\(.*\\)" 1))
-    '(vc-latest-version vc-cvs-status))
-    ;; Translate those status values that are needed into symbols.
-    ;; Any other value is converted to nil.
-    (let ((status (vc-file-getprop file 'vc-cvs-status)))
-      (cond ((string-match "Up-to-date" status)
-            (vc-file-setprop file 'vc-cvs-status 'up-to-date)
-            (vc-file-setprop file 'vc-checkout-time 
-                             (nth 5 (file-attributes file))))
-           ((string-match "Locally Modified" status)
-            (vc-file-setprop file 'vc-cvs-status 'locally-modified))
-           ((string-match "Needs Merge" status)
-            (vc-file-setprop file 'vc-cvs-status 'needs-merge))
-           (t (vc-file-setprop file 'vc-cvs-status nil))))
-   )))
+;;; Access functions to file properties
+;;; (Properties should be _set_ using vc-file-setprop, but
+;;; _retrieved_ only through these functions, which decide
+;;; if the property is already known or not. A property should
+;;; only be retrieved by vc-file-getprop if there is no 
+;;; access function.)
+
+;;; properties indicating the backend 
+;;; being used for FILE
 
 (defun vc-backend-subdirectory-name (&optional file)
   ;; Where the master and lock files for the current directory are kept
@@ -444,115 +479,245 @@ value of this flag.")
     vc-default-back-end
     (setq vc-default-back-end (if (vc-find-binary "rcs") 'RCS 'SCCS)))))
 
+(defun vc-name (file)
+  "Return the master name of a file, nil if it is not registered.
+For CVS, the full name of CVS/Entries is returned."
+  (or (vc-file-getprop file 'vc-name)
+      (let ((name-and-type (vc-registered file)))
+       (if name-and-type
+           (progn
+             (vc-file-setprop file 'vc-backend (cdr name-and-type))
+             (vc-file-setprop file 'vc-name (car name-and-type)))))))
 
-;;; Access functions to file properties
-;;; (Properties should be _set_ using vc-file-setprop, but
-;;; _retrieved_ only through these functions, which decide
-;;; if the property is already known or not. A property should
-;;; only be retrieved by vc-file-getprop if there is no 
-;;; access function.)
+(defun vc-backend (file)
+  "Return the version-control type of a file, nil if it is not registered."
+  (and file
+       (or (vc-file-getprop file 'vc-backend)
+          (let ((name-and-type (vc-registered file)))
+            (if name-and-type
+                (progn
+                  (vc-file-setprop file 'vc-name (car name-and-type))
+                  (vc-file-setprop file 'vc-backend (cdr name-and-type))))))))
 
-;; functions vc-name and vc-backend come earlier above, 
-;; because they are needed by vc-log-info etc.
+(defun vc-checkout-model (file)
+  ;; Return `manual' if the user has to type C-x C-q to check out FILE.
+  ;; Return `implicit' if the file can be modified without locking it first.
+  (or
+   (vc-file-getprop file 'vc-checkout-model)
+   (cond 
+    ((eq (vc-backend file) 'SCCS)
+     (vc-file-setprop file 'vc-checkout-model 'manual))
+    ((eq (vc-backend file) 'RCS) 
+     (vc-consult-rcs-headers file)
+     (or (vc-file-getprop file 'vc-checkout-model)
+        (progn (vc-fetch-master-properties file)
+               (vc-file-getprop file 'vc-checkout-model))))
+    ((eq (vc-backend file) 'CVS)
+     (vc-file-setprop file 'vc-checkout-model
+      (cond
+       ((getenv "CVSREAD") 'manual)
+       ;; If the file is not writeable, this is probably because the
+       ;; file is being "watched" by other developers.  Use "manual"
+       ;; checkout in this case.  (If vc-mistrust-permissions was t,
+       ;; we actually shouldn't trust this, but there is no other way
+       ;; to learn this from CVS at the moment (version 1.9).)
+       ((string-match "r-..-..-." (nth 8 (file-attributes file)))
+        'manual)
+       (t 'implicit)))))))
+
+;;; properties indicating the locking state
 
 (defun vc-cvs-status (file)
   ;; Return the cvs status of FILE
   ;; (Status field in output of "cvs status")
   (cond ((vc-file-getprop file 'vc-cvs-status))
-       (t (vc-fetch-properties file)
+       (t (vc-fetch-master-properties file)
           (vc-file-getprop file 'vc-cvs-status))))
 
+(defun vc-master-locks (file)
+  ;; Return the lock entries in the master of FILE.
+  ;; Return 'none if there are no such entries, and a list
+  ;; of the form ((VERSION USER) (VERSION USER) ...) otherwise.
+  (cond ((vc-file-getprop file 'vc-master-locks))
+       (t (vc-fetch-master-properties file)
+          (vc-file-getprop file 'vc-master-locks))))
+
+(defun vc-master-locking-user (file)
+  ;; Return the master file's idea of who is locking 
+  ;; the current workfile version of FILE.  
+  ;; Return 'none if it is not locked.
+  (let ((master-locks (vc-master-locks file)) lock)
+    (if (eq master-locks 'none) 'none
+      ;; search for a lock on the current workfile version
+      (setq lock (assoc (vc-workfile-version file) master-locks))
+      (cond (lock (cdr lock))
+           ('none)))))
+
+(defun vc-lock-from-permissions (file)
+  ;; If the permissions can be trusted for this file, determine the
+  ;; locking state from them.  Returns (user-login-name), `none', or nil.
+   ;;   This implementation assumes that any file which is under version
+  ;; control and has -rw-r--r-- is locked by its owner.  This is true
+  ;; for both RCS and SCCS, which keep unlocked files at -r--r--r--.
+  ;; We have to be careful not to exclude files with execute bits on;
+  ;; scripts can be under version control too.  Also, we must ignore the
+  ;; group-read and other-read bits, since paranoid users turn them off.
+  ;;   This hack wins because calls to the somewhat expensive 
+  ;; `vc-fetch-master-properties' function only have to be made if 
+  ;; (a) the file is locked by someone other than the current user, 
+  ;; or (b) some untoward manipulation behind vc's back has changed 
+  ;; the owner or the `group' or `other' write bits.
+  (let ((attributes (file-attributes file)))
+    (if (not (vc-mistrust-permissions file))
+       (cond ((string-match ".r-..-..-." (nth 8 attributes))
+              (vc-file-setprop file 'vc-locking-user 'none))
+             ((and (= (nth 2 attributes) (user-uid))
+                   (string-match ".rw..-..-." (nth 8 attributes)))
+              (vc-file-setprop file 'vc-locking-user (vc-user-login-name)))
+             (nil)))))
+
+(defun vc-user-login-name (&optional uid)
+  ;; Return the name under which the user is logged in, as a string.
+  ;; (With optional argument UID, return the name of that user.)
+  ;; This function does the same as `user-login-name', but unlike
+  ;; that, it never returns nil.  If a UID cannot be resolved, that
+  ;; UID is returned as a string.
+  (or (user-login-name uid)
+      (and uid (number-to-string uid))
+      (number-to-string (user-uid))))
+
+(defun vc-file-owner (file)
+  ;; Return who owns FILE (user name, as a string).
+  (vc-user-login-name (nth 2 (file-attributes file))))
+
+(defun vc-rcs-lock-from-diff (file)
+  ;; Diff the file against the master version.  If differences are found,
+  ;; mark the file locked.  This is only used for RCS with non-strict
+  ;; locking.  (If "rcsdiff" doesn't understand --brief, we do a double-take
+  ;; and remember the fact for the future.)
+  (let* ((version (concat "-r" (vc-workfile-version file)))
+         (status (if (eq vc-rcsdiff-knows-brief 'no)
+                     (vc-simple-command 1 "rcsdiff" file version)
+                   (vc-simple-command 2 "rcsdiff" file "--brief" version))))
+    (if (eq status 2)
+        (if (not vc-rcsdiff-knows-brief)
+            (setq vc-rcsdiff-knows-brief 'no
+                  status (vc-simple-command 1 "rcsdiff" file version))
+          (error "rcsdiff failed."))
+      (if (not vc-rcsdiff-knows-brief) (setq vc-rcsdiff-knows-brief 'yes)))
+    (if (zerop status)
+        (vc-file-setprop file 'vc-locking-user 'none)
+      (vc-file-setprop file 'vc-locking-user (vc-file-owner file)))))
+
 (defun vc-locking-user (file)
-  "Return the name of the person currently holding a lock on FILE.
-Return nil if there is no such person.
-Under CVS, a file is considered locked if it has been modified since it
-was checked out.  Under CVS, this will sometimes return the uid of
-the owner of the file (as a number) instead of a string."
-  ;; The property is cached. If it is non-nil, it is simply returned.
-  ;; The other routines clear it when the locking state changes.
-  (setq file (expand-file-name file));; ??? Work around bug in 19.0.4
-  (cond
-   ((vc-file-getprop file 'vc-locking-user))
-   ((eq (vc-backend file) 'CVS)
-    (if (eq (vc-cvs-status file) 'up-to-date)
-       nil
-      ;; The expression below should return the username of the owner
-      ;; of the file.  It doesn't.  It returns the username if it is
-      ;; you, or otherwise the UID of the owner of the file.  The
-      ;; return value from this function is only used by
-      ;; vc-dired-reformat-line, and it does the proper thing if a UID
-      ;; is returned.
-      ;; 
-      ;; The *proper* way to fix this would be to implement a built-in
-      ;; function in Emacs, say, (username UID), that returns the
-      ;; username of a given UID.
-      ;;
-      ;; The result of this hack is that vc-directory will print the
-      ;; name of the owner of the file for any files that are
-      ;; modified.
-      (let ((uid (nth 2 (file-attributes file))))
-       (if (= uid (user-uid))
-           (vc-file-setprop file 'vc-locking-user (user-login-name))
-         (vc-file-setprop file 'vc-locking-user uid)))))
-   (t
-    (if (and (eq (vc-backend file) 'RCS)
-            (eq (vc-consult-rcs-headers file) 'rev-and-lock))
-       (vc-file-getprop file 'vc-locking-user)
-      (if (or (not vc-keep-workfiles)
-             (eq vc-mistrust-permissions 't)
-             (and vc-mistrust-permissions
-                  (funcall vc-mistrust-permissions 
-                           (vc-backend-subdirectory-name file))))
-         (vc-file-setprop file 'vc-locking-user (vc-true-locking-user file))
-       ;; This implementation assumes that any file which is under version
-       ;; control and has -rw-r--r-- is locked by its owner.  This is true
-       ;; for both RCS and SCCS, which keep unlocked files at -r--r--r--.
-       ;; We have to be careful not to exclude files with execute bits on;
-       ;; scripts can be under version control too.  Also, we must ignore
-       ;; the group-read and other-read bits, since paranoid users turn them off.
-       ;; This hack wins because calls to the very expensive vc-fetch-properties
-       ;; function only have to be made if (a) the file is locked by someone
-       ;; other than the current user, or (b) some untoward manipulation
-       ;; behind vc's back has changed the owner or the `group' or `other'
-       ;; write bits.
-       (let ((attributes (file-attributes file)))
-         (cond ((string-match ".r-..-..-." (nth 8 attributes))
-                nil)
-               ((and (= (nth 2 attributes) (user-uid))
-                     (string-match ".rw..-..-." (nth 8 attributes)))
-                (vc-file-setprop file 'vc-locking-user (user-login-name)))
-               (t
-                (vc-file-setprop file 'vc-locking-user 
-                                 (vc-true-locking-user file))))))))))
-
-(defun vc-true-locking-user (file)
-  ;; The slow but reliable version
-  (vc-fetch-properties file)
-  (vc-file-getprop file 'vc-locking-user))
+  ;; Return the name of the person currently holding a lock on FILE.
+  ;; Return nil if there is no such person.
+  ;;   Under CVS, a file is considered locked if it has been modified since
+  ;; it was checked out.
+  ;;   The property is cached.  It is only looked up if it is currently nil.
+  ;; Note that, for a file that is not locked, the actual property value
+  ;; is `none', to distinguish it from an unknown locking state.  That value
+  ;; is converted to nil by this function, and returned to the caller.
+  (let ((locking-user (vc-file-getprop file 'vc-locking-user)))
+    (if locking-user
+       ;; if we already know the property, return it
+       (if (eq locking-user 'none) nil locking-user)
+
+      ;; otherwise, infer the property...
+      (cond
+       ((eq (vc-backend file) 'CVS)
+       (or (and (eq (vc-checkout-model file) 'manual)
+                (vc-lock-from-permissions file))
+           (and (equal (vc-file-getprop file 'vc-checkout-time)
+                       (nth 5 (file-attributes file)))
+                (vc-file-setprop file 'vc-locking-user 'none))
+           (vc-file-setprop file 'vc-locking-user (vc-file-owner file))))
+
+       ((eq (vc-backend file) 'RCS)
+       (let (p-lock)
+
+         ;; Check for RCS headers first
+         (or (eq (vc-consult-rcs-headers file) 'rev-and-lock)
+
+             ;; If there are no headers, try to learn it 
+             ;; from the permissions.
+             (and (setq p-lock (vc-lock-from-permissions file))
+                  (if (eq p-lock 'none)
+
+                      ;; If the permissions say "not locked", we know
+                      ;; that the checkout model must be `manual'.
+                      (vc-file-setprop file 'vc-checkout-model 'manual)
+
+                    ;; If the permissions say "locked", we can only trust
+                    ;; this *if* the checkout model is `manual'.
+                    (eq (vc-checkout-model file) 'manual)))
+
+             ;; Otherwise, use lock information from the master file.
+             (vc-file-setprop file 'vc-locking-user
+                              (vc-master-locking-user file)))
+
+         ;; Finally, if the file is not explicitly locked
+         ;; it might still be locked implicitly.
+         (and (eq (vc-file-getprop file 'vc-locking-user) 'none)
+              (eq (vc-checkout-model file) 'implicit)
+              (vc-rcs-lock-from-diff file))))
+
+      ((eq (vc-backend file) 'SCCS)
+       (or (vc-lock-from-permissions file)
+          (vc-file-setprop file 'vc-locking-user 
+                           (vc-master-locking-user file)))))
+  
+      ;; convert a possible 'none value
+      (setq locking-user (vc-file-getprop file 'vc-locking-user))
+      (if (eq locking-user 'none) nil locking-user))))
+
+;;; properties to store current and recent version numbers
 
 (defun vc-latest-version (file)
   ;; Return version level of the latest version of FILE
-  (vc-fetch-properties file)
-  (vc-file-getprop file 'vc-latest-version))
+  (cond ((vc-file-getprop file 'vc-latest-version))
+       (t (vc-fetch-properties file)
+          (vc-file-getprop file 'vc-latest-version))))
 
 (defun vc-your-latest-version (file)
   ;; Return version level of the latest version of FILE checked in by you
-  (vc-fetch-properties file)
-  (vc-file-getprop file 'vc-your-latest-version))
+  (cond ((vc-file-getprop file 'vc-your-latest-version))
+       (t (vc-fetch-properties file)
+          (vc-file-getprop file 'vc-your-latest-version))))
 
-(defun vc-branch-version (file)
-  ;; Return version level of the highest revision on the default branch
-  ;; If there is no default branch, return the highest version number
-  ;; on the trunk.
+(defun vc-master-workfile-version (file)
+  ;; Return the master file's idea of what is the current workfile version.
   ;; This property is defined for RCS only.
-  (vc-fetch-properties file)
-  (vc-file-getprop file 'vc-branch-version))
+  (cond ((vc-file-getprop file 'vc-master-workfile-version))
+       (t (vc-fetch-master-properties file)
+          (vc-file-getprop file 'vc-master-workfile-version))))
+
+(defun vc-fetch-properties (file)
+  ;; Fetch vc-latest-version and vc-your-latest-version
+  ;; if that wasn't already done.
+  (cond
+   ((eq (vc-backend file) 'RCS)
+    (save-excursion
+      (set-buffer (get-buffer-create "*vc-info*"))
+      (vc-insert-file (vc-name file) "^desc")
+      (vc-parse-buffer 
+       (list '("^\\([0-9]+\\.[0-9.]+\\)\ndate[ \t]+\\([0-9.]+\\);" 1 2)
+            (list (concat "^\\([0-9]+\\.[0-9.]+\\)\n"
+                          "date[ \t]+\\([0-9.]+\\);[ \t]+"
+                          "author[ \t]+"
+                          (regexp-quote (vc-user-login-name)) ";") 1 2))
+       file
+       '(vc-latest-version vc-your-latest-version))
+      (if (get-buffer "*vc-info*")
+         (kill-buffer (get-buffer "*vc-info*")))))
+   (t (vc-fetch-master-properties file))
+   ))
 
 (defun vc-workfile-version (file)
   ;; Return version level of the current workfile FILE
   ;; This is attempted by first looking at the RCS keywords.
   ;; If there are no keywords in the working file, 
-  ;; vc-branch-version is taken.
+  ;; vc-master-workfile-version is taken.
   ;; Note that this property is cached, that is, it is only 
   ;; looked up if it is nil.
   ;; For SCCS, this property is equivalent to vc-latest-version.
@@ -561,15 +726,16 @@ the owner of the file (as a number) instead of a string."
        ((eq (vc-backend file) 'RCS)
         (if (vc-consult-rcs-headers file)
             (vc-file-getprop file 'vc-workfile-version)
-          (let ((rev (cond ((vc-branch-version file))
+          (let ((rev (cond ((vc-master-workfile-version file))
                            ((vc-latest-version file)))))
             (vc-file-setprop file 'vc-workfile-version rev)
             rev)))
        ((eq (vc-backend file) 'CVS)
         (if (vc-consult-rcs-headers file)   ;; CVS
             (vc-file-getprop file 'vc-workfile-version)
-          (vc-find-cvs-master (file-name-directory file)
-                              (file-name-nondirectory file))
+          (catch 'found
+            (vc-find-cvs-master (file-name-directory file)
+                                (file-name-nondirectory file)))
           (vc-file-getprop file 'vc-workfile-version)))))
 
 ;;; actual version-control code starts here
@@ -608,47 +774,86 @@ the owner of the file (as a number) instead of a string."
 (defun vc-find-cvs-master (dirname basename)
   ;; Check if DIRNAME/BASENAME is handled by CVS.
   ;; If it is, do a (throw 'found (cons MASTER 'CVS)).
-  ;; Note: If the file is ``cvs add''ed but not yet ``cvs commit''ed 
-  ;; the MASTER will not actually exist yet.  The other parts of VC
-  ;; checks for this condition.  This function returns nil if 
-  ;; DIRNAME/BASENAME is not handled by CVS.
-  (if (and (file-directory-p (concat dirname "CVS/"))
+  ;; Note: This function throws the name of CVS/Entries
+  ;; NOT that of the RCS master file (because we wouldn't be able
+  ;; to access it under remote CVS).
+  ;; The function returns nil if DIRNAME/BASENAME is not handled by CVS.
+  (if (and vc-handle-cvs
+          (file-directory-p (concat dirname "CVS/"))
           (file-readable-p (concat dirname "CVS/Entries")))
-      (let ((bufs nil) (fold case-fold-search))
+      (let ((file (concat dirname basename))
+            ;; make sure that the file name is searched 
+            ;; case-sensitively
+            (case-fold-search nil)
+            buffer)
        (unwind-protect
            (save-excursion
-             (setq bufs (list
-                         (find-file-noselect (concat dirname "CVS/Entries"))))
-             (set-buffer (car bufs))
+             (setq buffer (set-buffer (get-buffer-create "*vc-info*")))
+             (vc-insert-file (concat dirname "CVS/Entries"))
              (goto-char (point-min))
-             ;; make sure the file name is searched 
-             ;; case-sensitively
-             (setq case-fold-search nil)
              (cond
+              ;; entry for a "locally added" file (not yet committed)
+              ((re-search-forward
+                (concat "^/" (regexp-quote basename) "/0/") nil t)
+               (vc-file-setprop file 'vc-checkout-time 0)
+               (vc-file-setprop file 'vc-workfile-version "0")
+               (throw 'found (cons (concat dirname "CVS/Entries") 'CVS)))
+              ;; normal entry
               ((re-search-forward
-                (concat "^/" (regexp-quote basename) "/\\([^/]*\\)/")
+                (concat "^/" (regexp-quote basename) 
+                         ;; revision
+                         "/\\([^/]*\\)" 
+                         ;; timestamp
+                         "/[A-Z][a-z][a-z]"       ;; week day (irrelevant)
+                         " \\([A-Z][a-z][a-z]\\)" ;; month name
+                         " *\\([0-9]*\\)"         ;; day of month
+                         " \\([0-9]*\\):\\([0-9]*\\):\\([0-9]*\\)"  ;; hms
+                         " \\([0-9]*\\)"          ;; year
+                         ;; optional conflict field
+                         "\\(+[^/]*\\)?/")
                 nil t)
-               (setq case-fold-search fold)  ;; restore the old value
-               ;; We found it.  Store away version number, now
-               ;; that we are anyhow so close to finding it.
-               (vc-file-setprop (concat dirname basename) 
+               ;; We found it.  Store away version number now that we 
+               ;; are anyhow so close to finding it.
+               (vc-file-setprop file
                                 'vc-workfile-version
-                                (buffer-substring (match-beginning 1)
-                                                  (match-end 1)))
-               (setq bufs (cons (find-file-noselect 
-                                 (concat dirname "CVS/Repository"))
-                                bufs))
-               (set-buffer (car bufs))
-               (let ((master
-                      (concat (file-name-as-directory 
-                               (buffer-substring (point-min)
-                                                 (1- (point-max))))
-                              basename
-                              ",v")))
-                 (throw 'found (cons master 'CVS))))
-              (t (setq case-fold-search fold)  ;; restore the old value
-                 nil)))
-         (mapcar (function kill-buffer) bufs)))))
+                                (match-string 1))
+               ;; If the file hasn't been modified since checkout,
+               ;; store the checkout-time.
+               (let ((mtime (nth 5 (file-attributes file)))
+                     (second (string-to-number (match-string 6)))
+                     (minute (string-to-number (match-string 5)))
+                     (hour (string-to-number (match-string 4)))
+                     (day (string-to-number (match-string 3)))
+                     (year (string-to-number (match-string 7))))
+                 (if (equal mtime
+                            (encode-time
+                             second minute hour day
+                             (/ (string-match
+                                 (match-string 2)
+                                 "xxxJanFebMarAprMayJunJulAugSepOctNovDec")
+                                3)
+                             year 0))
+                     (vc-file-setprop file 'vc-checkout-time mtime)
+                   (vc-file-setprop file 'vc-checkout-time 0)))
+               (throw 'found (cons (concat dirname "CVS/Entries") 'CVS)))
+               ;; entry with arbitrary text as timestamp
+               ;; (this means we should consider it modified)
+              ((re-search-forward
+                (concat "^/" (regexp-quote basename) 
+                         ;; revision
+                         "/\\([^/]*\\)" 
+                         ;; timestamp (arbitrary text)
+                         "/[^/]*"
+                         ;; optional conflict field
+                         "\\(+[^/]*\\)?/")
+                nil t)
+               ;; We found it.  Store away version number now that we 
+               ;; are anyhow so close to finding it.
+               (vc-file-setprop file 'vc-workfile-version (match-string 1))
+               (vc-file-setprop file 'vc-checkout-time 0)
+               (throw 'found (cons (concat dirname "CVS/Entries") 'CVS)))
+              (t nil)))
+         (kill-buffer buffer)))))
 
 (defun vc-buffer-backend ()
   "Return the version-control type of the visited file, or nil if none."
@@ -662,45 +867,70 @@ If the buffer is visiting a file registered with version control,
 then check the file in or out.  Otherwise, just change the read-only flag
 of the buffer.  With prefix argument, ask for version number."
   (interactive "P")
-  (if (vc-backend (buffer-file-name))
+  (if (or (and (boundp 'vc-dired-mode) vc-dired-mode)
+          ;; use boundp because vc.el might not be loaded
+          (vc-backend (buffer-file-name)))
       (vc-next-action verbose)
     (toggle-read-only)))
 (define-key global-map "\C-x\C-q" 'vc-toggle-read-only)
 
+(defun vc-after-save ()
+  ;; Function to be called by basic-save-buffer (in files.el).
+  ;; If the file in the current buffer is under version control,
+  ;; not locked, and the checkout model for it is `implicit',
+  ;; mark it "locked" and redisplay the mode line.
+  (let ((file (buffer-file-name)))
+    (and (vc-file-getprop file 'vc-backend)
+        ;; ...check the property directly, not through the function of the
+        ;; same name.  Otherwise Emacs would check for a master file
+        ;; each time a non-version-controlled buffer is saved.
+        ;; The property is computed when the file is visited, so if it
+        ;; is `nil' now, it is certain that the file is NOT 
+        ;; version-controlled.
+        (or (and (equal (vc-file-getprop file 'vc-checkout-time)
+                        (nth 5 (file-attributes file)))
+                 ;; File has been saved in the same second in which
+                 ;; it was checked out.  Clear the checkout-time
+                 ;; to avoid confusion.
+                 (vc-file-setprop file 'vc-checkout-time nil))
+            t)
+        (not (vc-locking-user file))
+        (eq (vc-checkout-model file) 'implicit)
+        (vc-file-setprop file 'vc-locking-user (vc-user-login-name))
+        (or (and (eq (vc-backend file) 'CVS) 
+                 (vc-file-setprop file 'vc-cvs-status nil))
+            t)
+        (vc-mode-line file))))
+
 (defun vc-mode-line (file &optional label)
   "Set `vc-mode' to display type of version control for FILE.
 The value is set in the current buffer, which should be the buffer
 visiting FILE.  Second optional arg LABEL is put in place of version
 control system name."
   (interactive (list buffer-file-name nil))
-  (let ((vc-type (vc-backend file))
-       (vc-status-string (and vc-display-status (vc-status file))))
+  (let ((vc-type (vc-backend file)))
     (setq vc-mode
-         (concat " " (or label (symbol-name vc-type)) vc-status-string))
-    ;; Make the buffer read-only if the file is not locked
-    ;; (or unchanged, in the CVS case).
-    ;; Determine this by looking at the mode string, 
-    ;; so that no further external status query is necessary
-    (if vc-status-string
-       (if (eq (elt vc-status-string 0) ?-)
-           (setq buffer-read-only t))
-      (if (not (vc-locking-user file))
-         (setq buffer-read-only t)))
-    ;; Even root shouldn't modify a registered file without
-    ;; locking it first.
+         (and vc-type
+              (concat " " (or label (symbol-name vc-type)) 
+                      (and vc-display-status (vc-status file)))))
+    ;; If the file is locked by some other user, make
+    ;; the buffer read-only.  Like this, even root
+    ;; cannot modify a file that someone else has locked.
+    (and vc-type 
+        (equal file (buffer-file-name))
+        (vc-locking-user file)
+        (not (string= (vc-user-login-name) (vc-locking-user file)))
+        (setq buffer-read-only t))
+    ;; If the user is root, and the file is not owner-writable,
+    ;; then pretend that we can't write it
+    ;; even though we can (because root can write anything).
+    ;; This way, even root cannot modify a file that isn't locked.
     (and vc-type
+        (equal file (buffer-file-name))
         (not buffer-read-only)
-        (zerop (user-uid))
-        (require 'vc)
-        (not (equal (user-login-name) (vc-locking-user file)))
+        (zerop (user-real-uid))
+        (zerop (logand (file-modes (buffer-file-name)) 128))
         (setq buffer-read-only t))
-    (and (null vc-type)
-        (file-symlink-p file)
-        (let ((link-type (vc-backend (file-symlink-p file))))
-          (if link-type
-              (message
-               "Warning: symbolic link to %s-controlled source file"
-               link-type))))
     (force-mode-line-update)
     ;;(set-buffer-modified-p (buffer-modified-p)) ;;use this if Emacs 18
     vc-type))
@@ -716,8 +946,8 @@ control system name."
   ;;
   ;; In the CVS case, a "locked" working file is a 
   ;; working file that is modified with respect to the master.
-  ;; The file is "locked" from the moment when the user makes 
-  ;; the buffer writable.
+  ;; The file is "locked" from the moment when the user saves
+  ;; the modified buffer.
   ;; 
   ;; This function assumes that the file is registered.
 
@@ -727,13 +957,29 @@ control system name."
           " @@")
          ((not locker)
           (concat "-" rev))
-         ((if (stringp locker)
-              (string= locker (user-login-name))
-            (= locker (user-uid)))
+         ((string= locker (vc-user-login-name))
           (concat ":" rev))
          (t 
           (concat ":" locker ":" rev)))))
 
+(defun vc-follow-link ()
+  ;; If the current buffer visits a symbolic link, this function makes it
+  ;; visit the real file instead.  If the real file is already visited in 
+  ;; another buffer, make that buffer current, and kill the buffer 
+  ;; that visits the link.
+  (let* ((truename (abbreviate-file-name (file-chase-links buffer-file-name)))
+         (true-buffer (find-buffer-visiting truename))
+        (this-buffer (current-buffer)))
+    (if (eq true-buffer this-buffer)
+       (progn
+         (kill-buffer this-buffer)
+         ;; In principle, we could do something like set-visited-file-name.
+         ;; However, it can't be exactly the same as set-visited-file-name.
+         ;; I'm not going to work out the details right now. -- rms.
+         (set-buffer (find-file-noselect truename)))
+      (set-buffer true-buffer)
+      (kill-buffer this-buffer))))
+
 ;;; install a call to the above as a find-file hook
 (defun vc-find-file-hook ()
   ;; Recompute whether file is version controlled,
@@ -748,7 +994,33 @@ control system name."
             ;; Use this variable, not make-backup-files,
             ;; because this is for things that depend on the file name.
             (make-local-variable 'backup-inhibited)
-            (setq backup-inhibited t))))))))
+            (setq backup-inhibited t))))
+     ((let* ((link (file-symlink-p buffer-file-name))
+            (link-type (and link (vc-backend (file-chase-links link)))))
+       (if link-type
+            (cond ((eq vc-follow-symlinks nil)
+                   (message
+        "Warning: symbolic link to %s-controlled source file" link-type))
+                  ((or (not (eq vc-follow-symlinks 'ask))
+                      ;; If we already visited this file by following
+                      ;; the link, don't ask again if we try to visit
+                      ;; it again.  GUD does that, and repeated questions
+                      ;; are painful.
+                      (get-file-buffer
+                       (abbreviate-file-name (file-chase-links buffer-file-name))))
+                      
+                  (vc-follow-link)
+                  (message "Followed link to %s" buffer-file-name)
+                  (vc-find-file-hook))
+                  (t
+                   (if (yes-or-no-p (format
+        "Symbolic link to %s-controlled source file; follow link? " link-type))
+                       (progn (vc-follow-link)
+                              (message "Followed link to %s" buffer-file-name)
+                              (vc-find-file-hook))
+                     (message 
+        "Warning: editing through the link bypasses version control")
+                     ))))))))))
 
 (add-hook 'find-file-hooks 'vc-find-file-hook)
 
@@ -759,6 +1031,7 @@ Returns t if checkout was successful, nil otherwise."
   (if (vc-backend buffer-file-name)
       (save-excursion
        (require 'vc)
+       (setq default-directory (file-name-directory (buffer-file-name)))
        (not (vc-error-occurred (vc-checkout buffer-file-name))))))
 
 (add-hook 'find-file-not-found-hooks 'vc-file-not-found-hook)
@@ -784,6 +1057,7 @@ Returns t if checkout was successful, nil otherwise."
       (define-key vc-prefix-map "a" 'vc-update-change-log)
       (define-key vc-prefix-map "c" 'vc-cancel-version)
       (define-key vc-prefix-map "d" 'vc-directory)
+      (define-key vc-prefix-map "g" 'vc-annotate)
       (define-key vc-prefix-map "h" 'vc-insert-headers)
       (define-key vc-prefix-map "i" 'vc-register)
       (define-key vc-prefix-map "l" 'vc-print-log)
@@ -800,8 +1074,13 @@ Returns t if checkout was successful, nil otherwise."
     ()
   ;;(define-key vc-menu-map [show-files]
   ;;  '("Show Files under VC" . (vc-directory t)))
+  (define-key vc-menu-map [vc-retrieve-snapshot]
+    '("Retrieve Snapshot" . vc-retrieve-snapshot))
+  (define-key vc-menu-map [vc-create-snapshot]
+    '("Create Snapshot" . vc-create-snapshot))
   (define-key vc-menu-map [vc-directory] '("Show Locked Files" . vc-directory))
   (define-key vc-menu-map [separator1] '("----"))
+  (define-key vc-menu-map [vc-annotate] '("Annotate" . vc-annotate))
   (define-key vc-menu-map [vc-rename-file] '("Rename File" . vc-rename-file))
   (define-key vc-menu-map [vc-version-other-window]
     '("Show Other Version" . vc-version-other-window))
@@ -815,22 +1094,21 @@ Returns t if checkout was successful, nil otherwise."
     '("Revert to Last Version" . vc-revert-buffer))
   (define-key vc-menu-map [vc-insert-header]
     '("Insert Header" . vc-insert-headers))
-  (define-key vc-menu-map [vc-menu-check-in] '("Check In" . vc-next-action))
-  (define-key vc-menu-map [vc-check-out] '("Check Out" . vc-toggle-read-only))
-  (define-key vc-menu-map [vc-register] '("Register" . vc-register))
-  (put 'vc-rename-file 'menu-enable 'vc-mode)
-  (put 'vc-version-other-window 'menu-enable 'vc-mode)
-  (put 'vc-diff 'menu-enable 'vc-mode)
-  (put 'vc-update-change-log 'menu-enable
-       '(eq (vc-buffer-backend) 'RCS))
-  (put 'vc-print-log 'menu-enable 'vc-mode)
-  (put 'vc-cancel-version 'menu-enable 'vc-mode)
-  (put 'vc-revert-buffer 'menu-enable 'vc-mode)
-  (put 'vc-insert-headers 'menu-enable 'vc-mode)
-  (put 'vc-next-action 'menu-enable '(and vc-mode (not buffer-read-only)))
-  (put 'vc-toggle-read-only 'menu-enable '(and vc-mode buffer-read-only))
-  (put 'vc-register 'menu-enable '(and buffer-file-name (not vc-mode)))
-  )
+  (define-key vc-menu-map [vc-next-action] '("Check In/Out" . vc-next-action))
+  (define-key vc-menu-map [vc-register] '("Register" . vc-register)))
+
+(put 'vc-rename-file 'menu-enable 'vc-mode)
+(put 'vc-annotate 'menu-enable '(eq (vc-buffer-backend) 'CVS))
+(put 'vc-version-other-window 'menu-enable 'vc-mode)
+(put 'vc-diff 'menu-enable 'vc-mode)
+(put 'vc-update-change-log 'menu-enable
+     '(eq (vc-buffer-backend) 'RCS))
+(put 'vc-print-log 'menu-enable 'vc-mode)
+(put 'vc-cancel-version 'menu-enable 'vc-mode)
+(put 'vc-revert-buffer 'menu-enable 'vc-mode)
+(put 'vc-insert-headers 'menu-enable 'vc-mode)
+(put 'vc-next-action 'menu-enable 'vc-mode)
+(put 'vc-register 'menu-enable '(and buffer-file-name (not vc-mode)))
 
 (provide 'vc-hooks)