[acl2/acl2] 6211b2: Tweaked :DOC topics zfc and zfc-model and file boo...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 6211b25fd42a193da151bcc3ce076b6a93a97315
https://github.com/acl2/acl2/commit/6211b25fd42a193da151bcc3ce076b6a93a97315
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-05-23 (Sat, 23 May 2026)

Changed paths:
M books/projects/set-theory/base.lisp
M books/projects/set-theory/doc.lisp
M books/projects/set-theory/logic.txt
M books/xdoc/parse-xml.lisp
M doc/home-page.html

Log Message:
-----------
Tweaked :DOC topics zfc and zfc-model and file books/projects/set-theory/logic.txt. Fixed text rendering of &isin; (to \in instead of to \isin).



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

[acl2buildserver]

Branch: refs/heads/testing

Home: https://github.com/acl2/acl2
Commit: 6211b25fd42a193da151bcc3ce076b6a93a97315
https://github.com/acl2/acl2/commit/6211b25fd42a193da151bcc3ce076b6a93a97315
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-05-23 (Sat, 23 May 2026)

Changed paths:
M books/projects/set-theory/base.lisp
M books/projects/set-theory/doc.lisp
M books/projects/set-theory/logic.txt
M books/xdoc/parse-xml.lisp
M doc/home-page.html

Log Message:
-----------
Tweaked :DOC topics zfc and zfc-model and file books/projects/set-theory/logic.txt. Fixed text rendering of &isin; (to \in instead of to \isin).

Commit: f35e15a37877b2c2831e8133be6256f26bb3e96e
https://github.com/acl2/acl2/commit/f35e15a37877b2c2831e8133be6256f26bb3e96e
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-05-23 (Sat, 23 May 2026)

Changed paths:
M books/projects/set-theory/base.lisp
M books/projects/set-theory/doc.lisp
M books/projects/set-theory/logic.txt
M books/xdoc/parse-xml.lisp
M doc/home-page.html

Log Message:
-----------

Merge commit '6211b25fd42a193da151bcc3ce076b6a93a97315' into HEAD


Compare: https://github.com/acl2/acl2/compare/853faf044022...f35e15a37877