[acl2/acl2] c5df6c: [doc] Update best-practices advice on predicates

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: c5df6ce95d51ae90561aa961118a0420bfcb61b3
https://github.com/acl2/acl2/commit/c5df6ce95d51ae90561aa961118a0420bfcb61b3
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2025-11-24 (Mon, 24 Nov 2025)

Changed paths:
M books/doc/practices.lisp

Log Message:
-----------
[doc] Update best-practices advice on predicates

Provide more concrete advice on naming predicates.


Commit: cd539c07efb92686f81e0b63618ff5599fc7b04c
https://github.com/acl2/acl2/commit/cd539c07efb92686f81e0b63618ff5599fc7b04c
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2025-11-24 (Mon, 24 Nov 2025)

Changed paths:
M books/quicklisp/top.lisp

Log Message:
-----------
[doc] Update osicat build failure advice

Replace advice with a more succinct command.


Compare: https://github.com/acl2/acl2/compare/7fc5284692f8...cd539c07efb9

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

[Grant Jurgensen]

Branch: refs/heads/master

[Grant Jurgensen]

Branch: refs/heads/testing