remove-pcert-elementary-bounders-for-final-file
remove-pcert-local-elided-for-final-file
do-not-pre-allocate-contiguous-blocks1-in-acl2.lisp
# (setq-si::*optimize-maximum-pages*-nil)-in-elementary-bounders.acl2
# 4.3
# 4.3a
# abort-centaurvltop-if-insufficient-memory
# add-ttag-comment-to-parsetree.acl2
# add-upstream-certificate-relocation-patch-to-other-events.lisp
# clean-interface
# consolidate-in-6.2
# debian-changes-4.1-5
# do-not-pre-allocate-contiguous-blocks-in-acl2.lisp
# fix-elementary-bounders.acl2
# grammar-reader-dependency-patch
# infix-pathname-fix
# interface-from-5.0
# mips64el-mxgot-flags-on-select-books
# pathnames
# tight-memory-for-centaur-toplint
compile_with_split_files
UTF-8-encoding
remove-w3-validation-badge
