Search results

Dependencies seem broken for book names containing the "=" character

Status: Open.

#1919 In acl2/acl2;

· MattKaufmann opened on Mar 14, 2026

Website query strings can grow too long

bug

Component: XDOC

Status: Open.

#1914 In acl2/acl2;

· gjurgensen opened on Mar 12, 2026

Non-ASCII ISO-8859-1 characters in comments are incompatible with UTF-8

Status: Open.

#1906 In acl2/acl2;

· jimwhite opened on Feb 12, 2026

Highlighted :doc text is not readable on terminal with dark mode

Status: Open.

#1901 In acl2/acl2;

· yaitskov opened on Jan 28, 2026

Allegro Common Lisp can't build all of Quicklisp

Status: Open.

#1884 In acl2/acl2;

· ericwhitmansmith opened on Jan 3, 2026

ACL2 Bridge server hangs on (bridge::stop)

Status: Open.

#1845 In acl2/acl2;

· copperteal opened on Sep 14, 2025

XDoc: Plan for potential deprecation/removal of XSLT from browsers

Status: Open.

#1833 In acl2/acl2;

· mister-walter opened on Aug 29, 2025

Improve the pre-built distribution story for ACL2

Status: Open.

#1616 In acl2/acl2;

· mister-walter opened on Aug 7, 2024

About issue related to acl2/books/projects/arm/second/fdiv8/fdiv8.cpp.

Status: Open.

#1609 In acl2/acl2;

· Lottie-ui opened on Jul 19, 2024

Improvements to ACL2 installation page

Status: Open.

#1608 In acl2/acl2;

· mister-walter opened on Jul 17, 2024

pattern-match requires import, says nothing about that

Status: Open.

#1607 In acl2/acl2;

· calebegg opened on Jul 16, 2024

Is there an automated way to convert Cpp files into lisp files

Status: Open.

#1542 In acl2/acl2;

· Lottie-ui opened on Sep 25, 2023