heads-up on release
1 view
Skip to first unread message
Matt Kaufmann
Nov 30, 2016, 7:15:21 PM11/30/16
to acl2-...@googlegroups.com
Hi --
This is just a heads-up that I intend to start the process for
releasing ACL2 Version 7.3 very soon, probably early next week. I
intend to stick to the then-current github version once I start that
process. Let me know this week if that presents any problems for you.
-- Matt
This is just a heads-up that I intend to start the process for
releasing ACL2 Version 7.3 very soon, probably early next week. I
intend to stick to the then-current github version once I start that
process. Let me know this week if that presents any problems for you.
-- Matt
Reply all
Reply to author
Forward
0 new messages