[cl-unification-cvs] CVS cl-unification

[mantoniotti]

Update of /project/cl-unification/cvsroot/cl-unification
In directory cl-net:/tmp/cvs-serv19172

Modified Files:
	unification-package.lisp 
Log Message:
Added a few exports and changed the actual package name (i.e., I put
my money where my mouth is; the "published" package name is now a
nickname).


--- /project/cl-unification/cvsroot/cl-unification/unification-package.lisp	2009/04/15 10:10:25	1.5
+++ /project/cl-unification/cvsroot/cl-unification/unification-package.lisp	2009/04/17 07:53:58	1.6
@@ -1,7 +1,14 @@
-;;; -*- Mode: Lisp -*-
+;;;; -*- Mode: Lisp -*-
 
-(defpackage "CL.EXT.DACF.UNIFICATION" (:use "CL")
-  (:nicknames "UNIFY")
+;;;; unification-package.lisp --
+;;;; Package definition for the CL-UNIFICATION library.
+;;;;
+;;;; Copyright (c) 2004-2009 Marco Antoniotti
+;;;; See file COPYING for licensing information.
+
+
+(defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION" (:use "CL")
+  (:nicknames  "CL.EXT.DACF.UNIFICATION" "UNIFY" "unify")
   (:documentation "The CL.EXT.DACF.UNIFICATION Package.
 
 This package contains all the definitions necessary for the general
@@ -40,6 +47,11 @@
    "UNIFY*"
    "UNIFY-EQUATIONS"
    "UNIFY-EQUATIONS*")
+
+  #+cl-ppcre
+  (:export
+   "REGULAR-EXPRESSION"
+   "REGEXP")
   )
 
-;;; end of file -- unification-package.lisp --
+;;;; end of file -- unification-package.lisp --