anchor.diff:    (prepare_C_Lib_Generic specware-dir release-dir)
     #+Linux     (prepare_C_Lib_Linux   specware-dir release-dir)
     #+Mac       (prepare_C_Lib_Mac     specware-dir release-dir)
  -  #+MSWindows (prepare_C_Lib_Windows specware-dir release-dir)
  +  #+(Or Mswindows Win32) (prepare_C_Lib_Windows specware-dir release-dir)
     )
   
   #+Linux
  
positive.code:   (print-minor "Specware_Lib" "Mac")
    )
  
  #+MSWindows
  (defun prepare_Specware_Lib_Windows (specware-dir release-dir)
    (declare (ignore specware-dir))
    (print-minor "Specware_Lib" "Windows")
  
negative.code:   (print-minor "C_Lib" "Mac")
    )
  
  #+(Or Mswindows Win32)
  (defun prepare_C_Lib_Windows (specware-dir release-dir)
    (declare (ignore specware-dir release-dir))
    (print-minor "C_Lib" "Windows")
  