[cl-unification-cvs] CVS cl-unification

[mantoniotti]

Update of /project/cl-unification/cvsroot/cl-unification
In directory clnet:/tmp/cvs-serv29979

Modified Files:
	INSTALLATION 
Log Message:
Instructions updated.


--- /project/cl-unification/cvsroot/cl-unification/INSTALLATION	2007/05/21 17:11:47	1.2
+++ /project/cl-unification/cvsroot/cl-unification/INSTALLATION	2008/07/13 13:20:01	1.3
@@ -5,20 +5,26 @@
 
 Issuing
 
-	(mk:load-system "unification")
+	(mk:load-system "CL-UNIFICATION")
 
 or
 
-	(mk:compile-system "unification")
+	(mk:compile-system "CL-UNIFICATION")
 
 will make the UNIFY package available.
 
 There is also an ASDF system definition for those who use this system.
 
+Issuing
+
+	(asdf:oos 'asdf:load-op "CL-UNIFICATION")
+
+should make the library available in your environment.
+
 If your CL implementation is ASDF-INSTALL aware, you should also be
 able to just say
 
-        (asdf-install:install "unification")
+        (asdf-install:install "CL-UNIFICATION")
 
 provided that the package is unpacked in an ASDF-INSTALL known
 directory.