Sun Jul 13 13:20:01 UTC 2008 mantoniotti
* Instructions updated.
hunk ./INSTALLATION 8
- (mk:load-system "unification")
+ (mk:load-system "CL-UNIFICATION")
hunk ./INSTALLATION 12
- (mk:compile-system "unification")
+ (mk:compile-system "CL-UNIFICATION")
hunk ./INSTALLATION 18
+Issuing
+
+ (asdf:oos 'asdf:load-op "CL-UNIFICATION")
+
+should make the library available in your environment.
+
hunk ./INSTALLATION 27
- (asdf-install:install "unification")
+ (asdf-install:install "CL-UNIFICATION")