NOTE-2-8(R)

ACL2 Version 2.8(r) (March, 2003) Notes
Major Section:  RELEASE-NOTES

The Makefile has been modified by adding a new target, clean-links. This can be used in order to remove all soft links, which is useful if the directory is copied or moved to a new location or if there are file system changes that cause problems with link pathnames.

Please also see note-2-8 for changes to Version_2.8 of ACL2.