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: ;;;
  ;;; Current candidates being used are:
  ;;;   Linux     SBCL      [was Linux Allegro, then Linux CMU]
  ;;;   MSWIndows Allegro   [soon MSWindows SBCL]
  ;;;   Mac       SBCL      
  ;;; --------------------------------------------------------------------------------
  
  (let ((selected-os   (list #+Linux 'Linux #+Mac 'Mac #+MSWindows '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))
  
negative.code: 		       (in-distribution-dir "XEmacs_Specware"))
    )
  
  #+(Or Mswindows Win32)
  (defun prepare_Specware_Windows (specware-dir release-dir lisp-utilities-dir)
    (declare (special cl-user::*Specware-Name*))
    (print-minor "Specware" "Windows")
  