[acl2/acl2] c86957: Update Codewalker basic demo for filename adjustments

[MattKaufmann]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: c8695786778ecb09e156269814143ed8ec5ce6ec
https://github.com/acl2/acl2/commit/c8695786778ecb09e156269814143ed8ec5ce6ec
Author: David Taylor <jdavid...@outlook.com>
Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:
M books/projects/codewalker/basic-demo.lsp

Log Message:
-----------
Update Codewalker basic demo for filename adjustments


Commit: b439ebe3e052f77d45930a2de28e049fd274210e
https://github.com/acl2/acl2/commit/b439ebe3e052f77d45930a2de28e049fd274210e
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2025-09-22 (Mon, 22 Sep 2025)

Changed paths:
M books/projects/codewalker/basic-demo.lsp

Log Message:
-----------
Merge pull request #1854 from copperteal/codewalker/demo-fix

Update Codewalker basic demo for filename adjustments


Compare: https://github.com/acl2/acl2/compare/a8da967d3bf1...b439ebe3e052

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

[MattKaufmann]

Branch: refs/heads/master