Not worried about warnings for generated code. Also this comment is unnecessary.
Acl2 instances used to build check for termination more often
Suppress all warnings (generated code)
Rework of build feature -- code + UI
Animation on auto-admission + auto-Ctrl-C-ing
Nice, Web-like file picker used by build window (and maybe soon PrefsWindow)
These warnings are unnecessary; the variables are there for potential future additions.