[acl2/acl2] f8b0a5: Fixed a bug in books/projects/acl2-in-hol/.acl2hol...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: f8b0a5bdec74d91a744ca694619b025d8eaba1f1
https://github.com/acl2/acl2/commit/f8b0a5bdec74d91a744ca694619b025d8eaba1f1
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/projects/acl2-in-hol/.acl2holrc.bash

Log Message:
-----------
Fixed a bug in books/projects/acl2-in-hol/.acl2holrc.bash, in the case that the value of environment variable ACL2 is a string that is a symbolic link rather than a filename.

Thanks to Quan Luu for explaining this problem on Zulip and to Grant Jurgensen and Eric Smith for participating in the ensuing discussion.



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[MattKaufmann]

Branch: refs/heads/testing