anchor.diff:  #+allegro
   (push 'start-java-connection? excl:*restart-actions*)
   
  -;;; Load base in correct location
  +;;; Load base in correct location at startup
   (push  'Specware::initializeSpecware-0 
          #+allegro cl-user::*restart-actions*
          #+cmu     ext:*after-save-initializations*
          #+mcl     ccl:*lisp-startup-functions*
          #+sbcl    sb-ext:*init-hooks*)
   
  +;(Specware::initializeSpecware-0)
  +
  +#+sbcl
  +(defvar *sbcl-home* (specware::getenv "SBCL_HOME"))
   #+sbcl
   (push  #'(lambda () (setq sb-debug:*debug-beginner-help-p* nil)
  -	            (setf (sb-ext:bytes-consed-between-gcs) 50331648))
  +	            (setf (sb-ext:bytes-consed-between-gcs) 50331648)
  +		    (specware::setenv "SBCL_HOME" *sbcl-home*)
  +		    )
          sb-ext:*init-hooks*)
   
  -;;; Clear load environment vars
  -#+cmu
  -(progn (setq ext:*environment-list* ())
  -       (setq lisp::lisp-environment-list ()))
  -
   ;;; Set temporaryDirectory at startup
  -(push  'setTemporaryDirectory 
  -       #+allegro cl-user::*restart-actions*
  -       #+cmu     ext:*after-save-initializations*
  -       #+mcl     ccl:*lisp-startup-functions*
  -       #+sbcl    sb-ext:*init-hooks*)
  +(push 'setTemporaryDirectory 
  +      #+allegro cl-user::*restart-actions*
  +      #+cmu     ext:*after-save-initializations*
  +      #+mcl     ccl:*lisp-startup-functions*
  +      #+sbcl    sb-ext:*init-hooks*)
  +
  +(defvar *using-slime-interface?* t)
  +(when *using-slime-interface?*
  +  ;; Preload slime lisp support
  +
  +  ;; per instructions in swank-loader.lisp
  +  (cl:defpackage :swank-loader
  +		 (:use :cl)
  +		 (:export :load-swank 
  +			  :*source-directory*
  +			  :*fasl-directory*))
  +  )
  +;; Repeat the when test so the defparameter below can 
  +;; be read after the defpackage above has been evaluted.
  +(when *using-slime-interface?*
  +  (defparameter SWANK-LOADER::*FASL-DIRECTORY*
  +    (format nil "~a/Library/IO/Emacs/slime/" 
  +	    (specware::getenv "SPECWARE4")))
  +
  +  (let ((loader (in-specware-dir "Library/IO/Emacs/slime/swank-loader.lisp")))
  +    (load loader :verbose t)))
  +(setq *using-slime-interface?* nil)	; Gets set to t when initialized
   
   (format t "~2%To bootstrap, run (boot)~%")
   (format t "~%That will run :sw /Applications/Specware/Specware4~2%")
  
positive.code: ;;    make-system
  ;;    change-directory
  ;;    current-directory
  ;;
  (let ((utils (format nil "~A/Lisp_Utilities/LoadUtilities.lisp" (specware::getenv "DISTRIBUTION"))))
    (load utils)
    (compile-and-load-lisp-file utils))
  
negative.code: (defun in-specware-dir (file) (concatenate 'string *Specware-dir* file))
  
  #+cmu
  (compile-and-load-lisp-file (in-specware-dir "Applications/Handwritten/Lisp/cmucl-patch"))
  #+sbcl
  (compile-and-load-lisp-file (in-specware-dir "Applications/Handwritten/Lisp/sbcl-patch"))
  
  (defun ignore-warning (condition)
     (declare (ignore condition))
  