anchor.diff:    #-(OR UNIX MSWINDOWS) (format t "~&Neither the UNIX nor MSWINDOWS feature is present, so I don't know what to do!~%")
     )
   
  +(defun sc-val (str)
  +  (let ((id-str (norm-unitid-str str)))
  +  (cddr (specware::evaluateunitid id-str))))
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: 			     x (cons :|Some| lisp-file-name))
  			    (let (#+allegro *redefinition-warnings*)
  			      ;; scripts depend upon the following returning true iff successful
  			      (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)
  