NOTE-2-8_lparen_R_rparen_.html -- ACL2 Version 6.3

## 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.