anchor.diff:  			     x (cons :|Some| lisp-file-name))
   			    (let (#+allegro *redefinition-warnings*)
   			      ;; scripts depend upon the following returning true iff successful
  -			      (specware::compile-and-load-lisp-file lisp-file-name))
  +			      (if load?
  +				  (specware::compile-and-load-lisp-file lisp-file-name)
  +				(compile-file lisp-file-name)))
   			  "Specware Processing Failed!")))
   	       (show-error-position emacs::*goto-file-position-stored* 1)
   	       (maybe-restore-swpath)
  
positive.code: 			    (string (second r-args)) nil)))
        (format t "No previous unit evaluated~%"))))
  
  (defun swll-internal (x &optional y)
    ;; scripts depend upon this returning true iff successful
    (let ((lisp-file-name (subst-home (or y (concatenate 'string
  					    specware::temporaryDirectory
  
negative.code: 		  *last-swl-args*)))
      (if r-args
  	(progn (setq *last-swl-args* r-args)
  	       (swll-internal (string (first r-args))
  			      (if (not (null (second r-args)))
  				  (string (second r-args)) nil)
  			      t))
        (format t "No previous unit evaluated~%"))))
  
  
  (defun swll-no-load (&optional args)
    ;; scripts depend upon this returning true iff successful
    (let ((r-args (if (not (null args))
  		    (extract-final-file-name args)
  		  *last-swl-args*)))
      (if r-args
  	(progn (setq *last-swl-args* r-args)
  	       (swll-internal (string (first r-args))
  			      (if (not (null (second r-args)))
  				  (string (second r-args)) nil)
  			      nil))
        (format t "No previous unit evaluated~%"))))
  
  (defpackage "SWE") ; for access to results
  
  