[acl2/acl2] 3e5c44: Updated 2015 workshops README.

0 views
Skip to first unread message

GitHub

unread,
Oct 9, 2015, 8:43:10 AM10/9/15
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 3e5c449b916fc54433ff7e2ff719ae69ac401d44
https://github.com/acl2/acl2/commit/3e5c449b916fc54433ff7e2ff719ae69ac401d44
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2015-10-09 (Fri, 09 Oct 2015)

Changed paths:
M books/workshops/2015/README

Log Message:
-----------
Updated 2015 workshops README.


GitHub

unread,
Oct 9, 2015, 8:47:40 AM10/9/15
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages