ACL2 versión 4.1

Se ha publicado la versión 4.1 de ACL2.

En Differences from Version 4.0 se comentan los cambios respecto de la versión anterior. Estos cambios se refieren a cambios respectos de características existentes, nuevas características, corrección de errores, actualizaciones de libros y soporte para Emacs.