Index of /debian/acl2/acl2-8.3dfsg/acl2-customization-files/

../
README                                             16-Apr-2020 14:22                3210
bookdata.lisp                                      16-Apr-2020 14:22                  39
no-serialize.lisp                                  16-Apr-2020 14:22                 109
parallel-full.lisp                                 16-Apr-2020 14:22                  34
parallel-resource-based.lisp                       16-Apr-2020 14:22                  44
parallel-top-level.lisp                            16-Apr-2020 14:22                  39
pseudo-parallel.lisp                               16-Apr-2020 14:22                  45
serial.lisp                                        16-Apr-2020 14:22                  32
set-compile-fns.lisp                               16-Apr-2020 14:22                  80