acl2-characters acl2-check.lisp acl2-customization-files acl2-fns.lisp acl2-init.lisp acl2.lisp # acl2-proclaims.lisp -- generated file # acl2r.lisp -- generated file # acl2-status.txt -- generated file akcl-acl2-trace.lisp allegro-acl2-trace.lisp all-files.txt # aux -- developer directory axioms.lisp basis-a.lisp basis-b.lisp bdd.lisp # bin -- under source control but not distributed # books -- no longer distributed at UT boot-strap-pass-2.lisp build-allegro-exe.cl defpkgs.lisp defthm.lisp defuns.lisp doc doc.lisp # doc.lisp.backup -- not distributed or under source control emacs futures-raw.lisp # gitlog-all.txt -- not distributed or under source control GNUmakefile graphics history-management.lisp hons.lisp hons-raw.lisp induct.lisp init.lisp installation interface-raw.lisp ld.lisp LICENSE linear-a.lisp linear-b.lisp Makefile mcl-acl2-startup.lisp memoize.lisp memoize-raw.lisp multi-threading-raw.lisp new.html non-linear.lisp openmcl-acl2-trace.lisp other-events.lisp other-processes.lisp other-releases.html parallel.lisp parallel-raw.lisp proof-checker-a.lisp proof-checker-b.lisp proof-checker-pkg.lisp prove.lisp # README.md -- not distributed (github file) rewrite.lisp # The following is distributed but is not under source control: saved save-gprof.lsp serialize.lisp serialize-raw.lisp simplify.lisp # The following is distributed but is not under source control: TAGS tau.lisp translate.lisp type-set-a.lisp type-set-b.lisp workshops.html acl2-customization-files: bookdata.lisp parallel-full.lisp parallel-resource-based.lisp parallel-top-level.lisp pseudo-parallel.lisp README serial.lisp set-compile-fns.lisp # bin -- under source control but not distributed doc: # The following is distributed but is not under source control: acl2-code-size.txt acl2-wc.txt create-acl2-code-size create-doc # The following is distributed but is not under source control home-page.html home-page.lisp # The following is distributed but is not under source control HTML # The following is distributed but is not under source control manual README write-acl2-code-size.lisp # The following is distributed but is not under source control doc/HTML: LICENSE installation *.html *.gif # The following is distributed but is not under source control doc/HTML/installation: installation.html installing-make.html misc.html obtaining-and-installing.html requirements.html using.html windows7.html windows-gcl-jared.html # The following is distributed but is not under source control doc/manual: download HTML LICENSE # Makefile -- not distributed res *.* # The following is distributed but is not under source control doc/manual/download: # The following is currently empty. Perhaps HTML should be generated # before running "make copy-distribution". # doc/manual/HTML: # * # The following is distributed but is not under source control doc/manual/lib: *.* katex typeahead-bundle doc/manual/lib/katex: fonts katex.min.css katex.min.js README.md doc/manual/lib/katex/fonts: *.* doc/manual/lib/typeahead-bundle: *.* doc/manual/res: centaur tours doc/manual/res/centaur: centaur-logo.png doc/manual/res/tours: *.gif emacs: acl2-doc.el emacs-acl2.el monitor.el README graphics: *.gif installation: installation.html installing-make.html misc.html obtaining-and-installing.html requirements.html using.html windows7.html windows-gcl-jared.html # The following is distributed but is not under source control saved: