[acl2/acl2] 49282c: Updated Windows build instructions (thanks to Sand...

0 views

Skip to first unread message

unread,

Jul 26, 2016, 12:30:01 PM7/26/16

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 49282cfdf5987b37b460d7532068c3cc03aa6b83
https://github.com/acl2/acl2/commit/49282cfdf5987b37b460d7532068c3cc03aa6b83
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2016-07-26 (Tue, 26 Jul 2016)

Changed paths:
M installation/windows7.html

Log Message:
-----------
Updated Windows build instructions (thanks to Sandip for the help).

unread,

Jul 26, 2016, 12:32:45 PM7/26/16

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages