ACL2 docset for Dash (http://kapeli.com/dash/)
- Download oringinal documents here
- Use
xdata2html.pl
tool (in the downloaded document folder), to generate separate HTML files. Because the actual doc contents are in a gigantic JavaScript file (xdata.js). - Use
doc2set.py
(from this repo) to generate the database.