anchor.diff:      ;"Library/Structures/Data/Sets/Handwritten/Lisp/SetAsCachedHArray.lisp"
       "Library/Structures/Data/Sets/Handwritten/Lisp/SetAsSTHarray.lisp"
       "Library/Structures/Data/Monad/Handwritten/Lisp/State.lisp"
  +    "Library/Algorithms/Handwritten/Lisp/Thread.lisp"
       "Languages/XML/Handwritten/Lisp/Chars.lisp"  ; unicode predicates for XML
       "Languages/XML/Handwritten/Lisp/Magic.lisp"  ; escapes from metaslang type system
       "Provers/DP/Handwritten/Lisp/Rational.lisp"
  
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:   (eval
     `(defparameter ,(intern "*FASL-DIRECTORY*" "SWANK-LOADER")
       (format nil "~a/Library/IO/Emacs/slime/" (Specware::getenv "SPECWARE4"))))
    (let ((loader (in-specware-dir "Library/IO/Emacs/slime/swank-loader.lisp"))
          (hooks (in-specware-dir "Library/IO/Emacs/slime/contrib/swank-listener-hooks.lisp")))
      (load loader :verbose t)
      (funcall (read-from-string "swank-loader:init") :setup nil :reload t :load-contribs t)
      (load hooks :verbose t))
    )
  (setq *using-slime-interface?* nil)	; Gets set to t when initialized
  
  ;; this is just confusing...
  ;; (format t "~2%To bootstrap, run (boot)~%")
  ;; (format t "~%That will run :sw /Applications/Specware/Specware4~2%")
  
  ;;;#+allegro
  ;;;(excl:without-package-locks
  