; package definition for the frontend

(defpackage "VERRAZANO"
  (:use "COMMON-LISP" "SPLIT-SEQUENCE" "PARSE-NUMBER")
  (:export "CREATE-BINDING"
	   "SETUP-BUILD"))