Sun Jul 13 13:20:01 UTC 2008 mantoniotti
* Instructions updated.
diff -rN -u old-cl-unification-1/INSTALLATION new-cl-unification-1/INSTALLATION
--- old-cl-unification-1/INSTALLATION 2013-07-21 20:03:04.000000000 +0000
+++ new-cl-unification-1/INSTALLATION 2013-07-21 20:03:04.000000000 +0000
@@ -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.