No description, website, or topics provided.
Shell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
README.md
authors.txt
bfg-1.11.7.jar
convert-acl2-books-svn-and-acl2-devel-svn-to-git.sh
pre-revprop-change
qa-extensions.txt
quality-assurance.sh
top.log

README.md

svn-to-git