anchor.diff:    (if (not (null ops))
         (defparameter JGEN::publicOps ops)
       ())
  -  (format t "~A~%" JGEN::publicOps)
  -  )
  -  
  +  (format t "~A~%" JGEN::publicOps))
   
   (defun swj-config-reset ()
     (defparameter #+allegro excl::*redefinition-warnings*
  
positive.code: 	(when pr
  	  (format t "~a~%" (cdr pr))))
      (loop for (com . helpstr) in *sw-help-strings*
  	  do (format t "~14a  ~a~%" com helpstr ))))
  
  #+allegro
  (top-level:alias ("sw-help" :string) (&optional com) (sw-help com))
      
  
  (defvar *last-unit-Id-_loaded* nil)
  (defvar *last-swl-args* nil)
  (defvar *last-swj-args* nil)
  
  (defun sw0 (x)
     (Specware::runSpecwareUID x)
     (values))
  #+allegro(top-level:alias ("sw0" :case-sensitive) (x) (sw0 (string x)))
  
  (defun set-base (x)
  
negative.code:   (if (not (null dir))
        (defparameter JGEN::baseDir (string dir))
      ())
    (format t "~A~%" JGEN::baseDir))
  
  (defun swj-config-make-public (&optional ops)
    (defparameter #+allegro excl::*redefinition-warnings*
  