anchor.diff:  (defpackage :SpecCalc)
   (defpackage :JGen)
   ;; Toplevel Lisp aliases for Specware
  +
   (defparameter *sw-help-strings*
  -    '(("dir" . "List files in current directory")
  -      ("list" . "List loaded units")
  -      ("ls" . "List files in current directory")
  -      ("set-base" . "Set base library unit id")
  -      ("show" . "Show unit")
  -      ("show-base-unit-id" . "Show base library unit id")
  -      ("sw" . "Process unit")
  -      ("sw-help" . "Help for specware commands")
  -      ("sw-init" . "Clear Spec cache")
  -      ("swc" . "Generate C code for unit")
  -      ("swe" . "Evaluate specware term")
  -      ("swe-spec" . "Set spec context for :swe command")
  -      ("swj" . "Generate Java code for unit")
  -      ("swj-config" . "Show configuration parameters for Java generation")
  -      ("swj-config-dir" . "Set base directory to be used by :swj")
  -      ("swj-config-make-public" . "Set public names to be used by :swj")
  -      ("swj-config-pkg" . "Set package name to be used by :swj")
  -      ("swj-config-reset" . "Restore default configuration parameters for Java generation")
  -      ("swl" . "Generate Lisp code for unit")
  -      ("swll" . "Generate Lisp code for local definition of unit, and compile and load")
  -      ("swpath" . "Query (no arg) or set SWPATH"))
  +  '(("dir" . "List files in current directory")
  +    ("list" . "List loaded units")
  +    ("ls" . "List files in current directory")
  +    ("set-base" . "Set base library unit id")
  +    ("show" . "Show unit")
  +    ("show-base-unit-id" . "Show base library unit id")
  +    ("sw" . "Process unit")
  +    ("sw-help" . "Help for specware commands")
  +    ("sw-init" . "Clear Spec cache")
  +    ("swc" . "Generate C code for unit")
  +    ("swe" . "Evaluate specware term")
  +    ("swe-spec" . "Set spec context for :swe command")
  +    ("swj" . "Generate Java code for unit")
  +    ("swj-config" . "Show configuration parameters for Java generation")
  +    ("swj-config-dir" . "Set base directory to be used by :swj")
  +    ("swj-config-make-public" . "Set public names to be used by :swj")
  +    ("swj-config-pkg" . "Set package name to be used by :swj")
  +    ("swj-config-reset" . "Restore default configuration parameters for Java generation")
  +    ("swl" . "Generate Lisp code for unit")
  +    ("swll" . "Generate Lisp code for local definition of unit, and compile and load")
  +    ("swpath" . "Query (no arg) or set SWPATH"))
     )
   
   (defun sw-help (command)
  
positive.code:   (if (not (null ops))
        (defparameter JGEN::publicOps ops)
      ())
    (format t "~A~%" JGEN::publicOps)
    )
    
  
  (defun swj-config-reset ()
    (defparameter #+allegro excl::*redefinition-warnings*
  
negative.code: 
  #+mcl
  (let ((ccl::*warn-if-redefine-kernel* nil))
    (defun ccl::check-toplevel-command (form)
      (let* ((cmd (if (consp form) (car form) form))
  	   (args (if (consp form) (cdr form))))
        (if (keywordp cmd)
  	  (dolist (g ccl::*active-toplevel-commands*
  		     (cl::invoke-command-interactive cmd))
  	    (when (let* ((pair (assoc cmd (cdr g))))
  		    (if pair 
  			(progn (apply (cadr pair) args)
  			       t)))
  	      (return t))))))
    )
  
  #+allegro
  (top-level:alias ("ls" :string) (&optional (str ""))
  