anchor.diff:      ("cinit" . "Clears Spec unit cache.")    
       ("show" . "[unit-term] Like `proc' but in addition displays the value of the processed unit-term.")
       ("showx" . "[unit-term] Like `show' but shows all types and ops including imports.")
  +    ("prove" . "[proof arguments] Abbreviation for proc prove [proof arguments]")
       ("punits" . "[unit-identifier [filename]] Generates proof unit definitions for all conjectures in the unit and puts
                     them into filename.")
       ("lpunits" . "[unit-identifier [filename]] Like `punits' but only for local conjectures.")
  
positive.code: ;      (j-config-make-public (cl-user::swj-config-make-public argstr))
  ;      (j-config-pkg (cl-user::swj-config-pkg argstr))
  ;      (j-config-reset (cl-user::swj-config-reset))
        (punits (cl-user::swpf argstr))
        (lpunits (cl-user::lswpf argstr))	; No local version yet
        (ctext (if (null argstr)
  
negative.code: 	      (princ (namestring (specware::current-directory)))
  	    (cl-user::cd argstr))
  	  (values))
        (pwd (princ (namestring (specware::current-directory)))
  	   (values))
        (dir (cl-user::ls (or argstr "")))
        (dirr (cl-user::dirr (or argstr "")))
        (path (cl-user::swpath argstr))
  