What's New in ACL2 (ACL2 Workshop 2017)

Matt Kaufmann (speaker); obviously, with contributions by J Moore

Here we make available a gzipped tarfile containing files, note-*.txt, which are highlighted with color for the items to be discussed in the talk. That color shows up (at least for me) in Emacs. The tarfile also contains a file notes.txt containing my personal notes for the talk.