[acl2/acl2] 201a40: Converted csh scripts to bash scripts for acl2-in-...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 201a403f33650202d36020dc3c3622513efde81f
https://github.com/acl2/acl2/commit/201a403f33650202d36020dc3c3622513efde81f
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
M books/GNUmakefile
M books/projects/acl2-in-hol/.acl2holrc.bash
M books/projects/acl2-in-hol/README-acl2
A books/projects/acl2-in-hol/lisp/a2ml.bash
R books/projects/acl2-in-hol/lisp/a2ml.csh
A books/projects/acl2-in-hol/lisp/axioms-essence.bash
R books/projects/acl2-in-hol/lisp/axioms-essence.csh
A books/projects/acl2-in-hol/lisp/book-essence.bash
R books/projects/acl2-in-hol/lisp/book-essence.csh
A books/projects/acl2-in-hol/lisp/obsolete-csh/a2ml.csh
A books/projects/acl2-in-hol/lisp/obsolete-csh/axioms-essence.csh
A books/projects/acl2-in-hol/lisp/obsolete-csh/book-essence.csh
M books/projects/acl2-in-hol/tests/.gitignore
M books/projects/acl2-in-hol/tests/doit

Log Message:
-----------
Converted csh scripts to bash scripts for acl2-in-hol project.



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

[acl2buildserver]

Branch: refs/heads/testing