[acl2/acl2] eb619c: [doc] Drop some incorrect links.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: eb619c8af5d2a1267afd2e94b09ebe9ee82592b9
https://github.com/acl2/acl2/commit/eb619c8af5d2a1267afd2e94b09ebe9ee82592b9
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-05 (Tue, 05 May 2026)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
[doc] Drop some incorrect links.


Commit: 48f3f0d8bdb89893174ec46b435109125d9f4a3e
https://github.com/acl2/acl2/commit/48f3f0d8bdb89893174ec46b435109125d9f4a3e
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-06 (Wed, 06 May 2026)

Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/encoding-prefixes.abnf
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
A books/kestrel/c/syntax/grammar/identifier-lists.abnf
A books/kestrel/c/syntax/grammar/preprocessing-directives-c17.abnf
A books/kestrel/c/syntax/grammar/preprocessing-directives-c23.abnf
A books/kestrel/c/syntax/grammar/preprocessing-directives.abnf
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/fty/deffold-reduce-doc.lisp
M books/kestrel/fty/deffold-reduce.lisp

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


Compare: https://github.com/acl2/acl2/compare/c656640af155...48f3f0d8bdb8

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

[Eric W. Smith]

Branch: refs/heads/master

[Eric W. Smith]

Branch: refs/heads/testing