anchor.diff:    (print-minor "C_Lib" "Mac")
     )
   
  -#+MSWindows
  +#+(Or Mswindows Win32)
   (defun prepare_C_Lib_Windows (specware-dir release-dir)
     (declare (ignore specware-dir release-dir))
     (print-minor "C_Lib" "Windows")
  
positive.code:   (prepare_XEmacs_Lib_Generic specware-dir release-dir)
    #+Linux     (prepare_XEmacs_Lib_Linux   specware-dir release-dir)
    #+Mac       (prepare_XEmacs_Lib_Mac     specware-dir release-dir)
    #+MSWindows (prepare_XEmacs_Lib_Windows specware-dir release-dir)
    )
  
  (defun prepare_XEmacs_Lib_Generic (specware-dir release-dir)
  
negative.code: ;;;
  ;;; Current candidates being used are:
  ;;;   Linux     SBCL      [was Linux Allegro, then Linux CMU]
  ;;;   MSWIndows Allegro   [soon (Or Mswindows Win32) SBCL]
  ;;;   Mac       SBCL      
  ;;; --------------------------------------------------------------------------------
  
  (let ((selected-os   (list #+Linux 'Linux #+Mac 'Mac #+(Or Mswindows Win32) 'MSWindows))
        (selected-lisp (list #+CMU 'CMU #+SBCL 'SBCL #+Allegro 'Allegro #+OpenMCL 'OpenMCL)))
    (unless (= (length selected-os) 1)
      (error "Need exactly one OS selected, but have: ~S" selected-os))
  