Giters

marsmxm / acl2dash

ACL2 docset for Dash

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

acl2dash

ACL2 docset for Dash (http://kapeli.com/dash/)

Steps to generate docset:

  1. Download oringinal documents here
  2. 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).
  3. Use doc2set.py (from this repo) to generate the database.

About

ACL2 docset for Dash

Languages

Language:HTML 99.8%Language:JavaScript 0.1%Language:SCSS 0.0%Language:Perl 0.0%Language:Less 0.0%Language:XSLT 0.0%Language:PHP 0.0%Language:CSS 0.0%Language:Shell 0.0%Language:Python 0.0%Language:Makefile 0.0%