[acl2/acl2] eb14ae: Fixed some :DOC that erroneously said that (er sof...
0 views
Skip to first unread message
MattKaufmann
Nov 30, 2025, 10:35:49 PM (7 days ago) Nov 30
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: eb14ae4b051a785a82d3b831df3a53931731a5d0
https://github.com/acl2/acl2/commit/eb14ae4b051a785a82d3b831df3a53931731a5d0
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-11-30 (Sun, 30 Nov 2025)
Changed paths:
M books/kestrel/utilities/er-soft-plus.lisp
M books/tools/er-soft-logic.lisp
Log Message:
-----------
Fixed some :DOC that erroneously said that (er soft ...) is not logic-mode code.
That was program-mode code in ACL2 Version 8.5 but has been logic-mode
code since Version 8.6.
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: eb14ae4b051a785a82d3b831df3a53931731a5d0
https://github.com/acl2/acl2/commit/eb14ae4b051a785a82d3b831df3a53931731a5d0
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-11-30 (Sun, 30 Nov 2025)
Changed paths:
M books/kestrel/utilities/er-soft-plus.lisp
M books/tools/er-soft-logic.lisp
Log Message:
-----------
Fixed some :DOC that erroneously said that (er soft ...) is not logic-mode code.
That was program-mode code in ACL2 Version 8.5 but has been logic-mode
code since Version 8.6.
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
MattKaufmann
Nov 30, 2025, 10:36:35 PM (7 days ago) Nov 30
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages