[acl2/acl2] cba878: [ABNF] Fix some output text.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: cba8788ec3472a4513ade557747e5fbd6ee629cf
https://github.com/acl2/acl2/commit/cba8788ec3472a4513ade557747e5fbd6ee629cf
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/projects/abnf/grammar-definer/deftreeops.lisp

Log Message:
-----------
[ABNF] Fix some output text.


Commit: 1d93c5c8b41ddd552508a2d029fb18360e251889
https://github.com/acl2/acl2/commit/1d93c5c8b41ddd552508a2d029fb18360e251889
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/axe/bv-rules-axe.lisp
M books/kestrel/axe/defthm-axe.lisp
M books/kestrel/axe/jvm/lifter-utilities.lisp
M books/kestrel/axe/jvm/lifter-utilities2.lisp
M books/kestrel/axe/jvm/lifter.lisp
M books/kestrel/axe/jvm/lifter2.lisp
M books/kestrel/axe/jvm/rule-lists-jvm.lisp
M books/kestrel/axe/jvm/symbolic-execution-rules.lisp
M books/kestrel/axe/jvm/unroller2.lisp
M books/kestrel/axe/prove-with-stp.lisp
M books/kestrel/axe/rewriter-common.lisp
M books/kestrel/axe/tactic-prover-tests.lisp
M books/kestrel/jvm/arrays.lisp
M books/kestrel/jvm/arrays0.lisp
M books/kestrel/jvm/call-stacks.lisp
M books/kestrel/jvm/class-file-parser.lisp
M books/kestrel/jvm/class-tables.lisp
M books/kestrel/jvm/classes.lisp
M books/kestrel/jvm/events-for-class.lisp
M books/kestrel/jvm/execution.lisp
M books/kestrel/jvm/fields.lisp
M books/kestrel/jvm/floats.lisp
M books/kestrel/jvm/floats2.lisp
M books/kestrel/jvm/get-method-info.lisp
M books/kestrel/jvm/instructions.lisp
M books/kestrel/jvm/int-subtypes.lisp
M books/kestrel/jvm/intern-table.lisp
M books/kestrel/jvm/jvm-facts.lisp
M books/kestrel/jvm/jvm-facts0.lisp
M books/kestrel/jvm/jvm-rules.lisp
M books/kestrel/jvm/jvm.lisp
M books/kestrel/jvm/method-indicators.lisp
M books/kestrel/jvm/methods.lisp
M books/kestrel/jvm/package.lsp
M books/kestrel/jvm/strings.lisp
M books/kestrel/jvm/types.lisp
M books/kestrel/jvm/values.lisp

Log Message:
-----------
Merge.


Compare: https://github.com/acl2/acl2/compare/532931e28e36...1d93c5c8b41d

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

[Alessandro Coglio]

Branch: refs/heads/testing