anchor.diff:      (load utils)
       (compile-and-load-lisp-file utils)))
   
  -(defparameter Specware4 (substitute #\/ #\\ (Specware::getenv "SPECWARE4")))
  +(defparameter Specware4 (substitute #\/ #\\ (convert-pathname-from-cygwin (Specware::getenv "SPECWARE4"))))
   
   (if (null Specware::Specware4)
       (warn "SPECWARE4 environment var not set")
  
positive.code:   (:nicknames :specware))
  (in-package :Specware)
  
  (defvar SpecToLisp::SuppressGeneratedDefuns nil) ;; note: defvar does not redefine if var already has a value
  
  (declaim (optimize (speed 3) (debug #+sbcl 3 #-sbcl 2) (safety 1) #+cmu(c::brevity 3)))
  
  (setq *load-verbose* nil)		; Don't print loaded file messages
  (setq *compile-verbose* nil)		; or lisp compilation
  
negative.code: 
  #+case-sensitive
  (eval-when (:compile-toplevel :load-toplevel :execute)
    (defun set-readtable-invert ()
      (setq *readtable* (copy-readtable *readtable*))
      (setf (readtable-case *readtable*) :invert))
    (set-readtable-invert))
  
  (defpackage :SpecToLisp)
  (defpackage :Specware (:use :cl)   ; Most systems default to this but not sbcl until patch loaded below
  