Module Browser

This is the default main page. You can customize this page by copying "centaur/vl/server/public" to a new directory, replacing this main.html with your customized version, and supplying "--public=your-public-dir" as an argument to "vl server".

Missing Features from version 2.0

Known Problems and Wishlist

Support

The original author is Jared Davis and maintenance is sometimes provided by Sol Swords. Please direct support requests to the ACL2 community books mailing list.