Skip to content
Permalink
Browse files

acl2: Add modeline and update formatting

  • Loading branch information
JacksonIsaac committed Apr 25, 2018
1 parent 9230324 commit 5f96c4aae21e36d370bc0684b2c5d2e0d0d80ced
Showing with 243 additions and 238 deletions.
  1. +243 −238 math/acl2/Portfile

0 comments on commit 5f96c4a

Please sign in to comment.
You can’t perform that action at this time.