Fri Apr 17 07:53:58 UTC 2009  mantoniotti
  * Added a few exports and changed the actual package name (i.e., I put
  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).
  
diff -rN -u old-cl-unification-1/unification-package.lisp new-cl-unification-1/unification-package.lisp
--- old-cl-unification-1/unification-package.lisp	2013-07-24 17:42:37.000000000 +0000
+++ new-cl-unification-1/unification-package.lisp	2013-07-24 17:42:37.000000000 +0000
@@ -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 --