anchor.diff:        (gen-lisp (cl-user::swl argstr) (values))
         (lgen-lisp (cl-user::swll argstr) (values))
         (gen-c (cl-user::swc argstr) (values))
  -      (make (if (null argstr)
  +      (make (if (null argstr) 
   		(cl-user::make)
   	      (cl-user::make argstr)))
         (gen-java (cl-user::swj argstr) (values))
  
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:     ("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.")
  