[acl2/acl2] bb366b: fix typos
0 views
Skip to first unread message
GitHub
Jun 20, 2017, 7:38:49 AM6/20/17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: bb366bffc66c2be776c663f13f885a017216642d
https://github.com/acl2/acl2/commit/bb366bffc66c2be776c663f13f885a017216642d
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-05-16 (Tue, 16 May 2017)
Changed paths:
M books/GNUmakefile
M books/coi/bags/eric-meta.lisp
Log Message:
-----------
fix typos
Commit: 3f2cebb3cfb17f741d30bc717395b2cf46e065cb
https://github.com/acl2/acl2/commit/3f2cebb3cfb17f741d30bc717395b2cf46e065cb
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-16 (Fri, 16 Jun 2017)
Changed paths:
M books/std/io/base.lisp
A books/std/io/open-channels.lisp
M books/std/io/top.lisp
Log Message:
-----------
Add lemmas about open-{in,out}put-channel-p1
These lemmas can help you prove that channels you have opened remain
open when you open or close other channels, or when you run various
built-in I/O functions.
Commit: b78c30f8c1dabd10a0f2bdf5da1d212ab795853a
https://github.com/acl2/acl2/commit/b78c30f8c1dabd10a0f2bdf5da1d212ab795853a
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-16 (Fri, 16 Jun 2017)
Changed paths:
M books/std/io/open-channels.lisp
Log Message:
-----------
Add some comments
Commit: 12c6d4911a886dad25e3a6166ea21a26c473b07b
https://github.com/acl2/acl2/commit/12c6d4911a886dad25e3a6166ea21a26c473b07b
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-16 (Fri, 16 Jun 2017)
Changed paths:
M books/std/io/open-channels.lisp
Log Message:
-----------
Shrink the theory tweaks
Turns out I didn't need most of that stuff.
Also changed a couple comments.
Commit: ea349409a08e875f0fff435a263d0e3d1d9caee2
https://github.com/acl2/acl2/commit/ea349409a08e875f0fff435a263d0e3d1d9caee2
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M books/std/io/open-channels.lisp
Log Message:
-----------
xdoc-ify the std/io/open-channels book
Commit: 746f278500848fa48b293450946639995f2d164b
https://github.com/acl2/acl2/commit/746f278500848fa48b293450946639995f2d164b
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M axioms.lisp
M bin/purity.sh
M books/GNUmakefile
M books/acl2s/acl2s-mode.lsp
M books/acl2s/cgen/cgen-state.lisp
M books/acl2s/cgen/fixers-gl-backend.lisp
M books/acl2s/cgen/fixers2.lisp
M books/acl2s/cgen/infer-enum-shape.lisp
M books/acl2s/cgen/prove-cgen.lisp
M books/acl2s/cgen/select.lisp
M books/acl2s/cgen/top.lisp
M books/acl2s/custom.lisp
M books/acl2s/defunc.lisp
A books/acl2s/demos/cert_pl_exclude
M books/acl2s/demos/dsp-fixer-rules.lisp
M books/acl2s/demos/dsp-preservation-rules.lisp
M books/acl2s/demos/dsp-type-and-fixer-defuns.lisp
M books/acl2s/demos/dsp.lsp
M books/acl2s/mode-acl2s-dependencies.lisp
M books/build/cert.pl
M books/build/jenkins/Makefile
M books/build/jenkins/build-multi.sh
M books/centaur/aignet/cnf.lisp
A books/centaur/aignet/ipasir.lisp
A books/centaur/glmc/acl2-customization.lsp
A books/centaur/glmc/bfr-mcheck-abc.lisp
A books/centaur/glmc/bfr-mcheck.lisp
A books/centaur/glmc/cert.acl2
A books/centaur/glmc/counter.acl2
A books/centaur/glmc/counter.lisp
A books/centaur/glmc/counter.sv
A books/centaur/glmc/glmc-generic-defs.lisp
A books/centaur/glmc/glmc-generic-proof.lisp
A books/centaur/glmc/glmc-templates.lisp
A books/centaur/glmc/glmc-test.lisp
A books/centaur/glmc/glmc.lisp
A books/centaur/glmc/portcullis.acl2
A books/centaur/glmc/portcullis.lisp
A books/centaur/glmc/shape-spec-invert.lisp
A books/centaur/ipasir/acl2-customization.lsp
A books/centaur/ipasir/cert.acl2
A books/centaur/ipasir/ipasir-backend.lisp
A books/centaur/ipasir/ipasir-interface-raw.lsp
A books/centaur/ipasir/ipasir-logic.lisp
A books/centaur/ipasir/ipasir-tests.lisp
A books/centaur/ipasir/ipasir-tools.lisp
A books/centaur/ipasir/load-ipasir-sharedlib-raw.lsp
A books/centaur/ipasir/package.lsp
A books/centaur/ipasir/portcullis.acl2
A books/centaur/ipasir/portcullis.lisp
M books/centaur/quicklisp/base-raw.lsp
A books/centaur/quicklisp/bundle/bundle-info.sexp
M books/centaur/quicklisp/bundle/bundle.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/.boring
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/.gitignore
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/AUTHORS
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/LICENCE
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/README
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/alexandria-tests.asd
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/alexandria.asd
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/arrays.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/binding.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/conditions.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/control-flow.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/definitions.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/doc/.gitignore
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/doc/Makefile
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/doc/alexandria.texinfo
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/doc/docstrings.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/features.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/functions.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/hash-tables.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/io.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/lists.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/macros.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/numbers.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/package.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/sequences.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/strings.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/symbols.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/tests.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/types.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/.boring
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/.gitignore
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/AUTHORS
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/LICENCE
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/README
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/alexandria-tests.asd
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/alexandria.asd
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/arrays.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/binding.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/conditions.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/control-flow.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/definitions.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/doc/.gitignore
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/doc/Makefile
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/doc/alexandria.texinfo
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/doc/docstrings.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/features.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/functions.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/hash-tables.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/io.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/lists.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/macros.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/numbers.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/package.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/sequences.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/strings.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/symbols.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/tests.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/types.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/.travis.yml
R books/centaur/quicklisp/bundle/software/babel-20150608-git/COPYRIGHT
R books/centaur/quicklisp/bundle/software/babel-20150608-git/HEADER
R books/centaur/quicklisp/bundle/software/babel-20150608-git/NOTES
R books/centaur/quicklisp/bundle/software/babel-20150608-git/README.md
R books/centaur/quicklisp/bundle/software/babel-20150608-git/babel-streams.asd
R books/centaur/quicklisp/bundle/software/babel-20150608-git/babel-tests.asd
R books/centaur/quicklisp/bundle/software/babel-20150608-git/babel.asd
R books/centaur/quicklisp/bundle/software/babel-20150608-git/doc/Makefile
R books/centaur/quicklisp/bundle/software/babel-20150608-git/doc/babel.texinfo
R books/centaur/quicklisp/bundle/software/babel-20150608-git/doc/license.texinfo
R books/centaur/quicklisp/bundle/software/babel-20150608-git/doc/macros.texinfo
R books/centaur/quicklisp/bundle/software/babel-20150608-git/scripts/release.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-ascii.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-cp1251.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-cp1252.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-ebcdic-int.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-ebcdic.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-gbk.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-iso-8859.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-jpn.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-koi8.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-unicode.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/encodings.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/external-format.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/gbk-map.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/jpn-table.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/packages.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/sharp-backslash.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/streams.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/strings.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/ascii.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/ascii.txt-utf8
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/benchmarks.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/ebcdic-us.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/ebcdic-us.txt-utf8
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/gen-test-files.sh
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/streams.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/tests.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-16-with-le-bom.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-16.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-16.txt-utf8
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-32-with-le-bom.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-32.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-32.txt-utf8
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-8.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-8.txt-utf8
A books/centaur/quicklisp/bundle/software/babel-20170516-git/.travis.yml
A books/centaur/quicklisp/bundle/software/babel-20170516-git/COPYRIGHT
A books/centaur/quicklisp/bundle/software/babel-20170516-git/HEADER
A books/centaur/quicklisp/bundle/software/babel-20170516-git/NOTES
A books/centaur/quicklisp/bundle/software/babel-20170516-git/README.md
A books/centaur/quicklisp/bundle/software/babel-20170516-git/babel-streams.asd
A books/centaur/quicklisp/bundle/software/babel-20170516-git/babel-tests.asd
A books/centaur/quicklisp/bundle/software/babel-20170516-git/babel.asd
A books/centaur/quicklisp/bundle/software/babel-20170516-git/doc/Makefile
A books/centaur/quicklisp/bundle/software/babel-20170516-git/doc/babel.texinfo
A books/centaur/quicklisp/bundle/software/babel-20170516-git/doc/license.texinfo
A books/centaur/quicklisp/bundle/software/babel-20170516-git/doc/macros.texinfo
A books/centaur/quicklisp/bundle/software/babel-20170516-git/scripts/release.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-ascii.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-cp1251.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-cp1252.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-ebcdic-int.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-ebcdic.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-gbk.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-iso-8859.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-jpn.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-koi8.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-unicode.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/encodings.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/external-format.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/gbk-map.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/jpn-table.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/packages.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/sharp-backslash.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/streams.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/strings.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/ascii.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/ascii.txt-utf8
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/benchmarks.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/ebcdic-us.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/ebcdic-us.txt-utf8
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/gen-test-files.sh
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/streams.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/tests.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-16-with-le-bom.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-16.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-16.txt-utf8
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-32-with-le-bom.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-32.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-32.txt-utf8
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-8.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-8.txt-utf8
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/.travis.yml
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/CONTRIBUTORS
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/LICENSE
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/README
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/bordeaux-threads.asd
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/site/index.html
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/site/style.css
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/bordeaux-threads.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/condition-variables.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/default-implementations.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-abcl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-allegro.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-clisp.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-clozure.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-cmucl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-corman.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-ecl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-lispworks-condition-variables.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-lispworks.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-mcl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-mkcl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-null.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-sbcl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-scl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/pkgdcl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/test/bordeaux-threads-test.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/version.sexp
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/.gitignore
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/README.md
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/bt-semaphore-test.asd
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/bt-semaphore.asd
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/src/package.lisp
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/src/semaphore.lisp
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/t/package.lisp
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/t/semaphore.lisp
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/.gitignore
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/README.md
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/bt-semaphore-test.asd
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/bt-semaphore.asd
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/src/package.lisp
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/src/semaphore.lisp
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/t/package.lisp
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/t/semaphore.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/.gitignore
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/.travis.yml
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/COPYRIGHT
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/HEADER
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/Makefile
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/README.md
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/TODO
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/cffi-examples.asd
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/cffi-grovel.asd
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/cffi-libffi.asd
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/cffi-tests.asd
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/cffi-uffi-compat.asd
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/cffi.asd
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/Makefile
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/allegro-internals.txt
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/cffi-manual.texinfo
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/cffi-sys-spec.texinfo
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/colorize-lisp-examples.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/gendocs.sh
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/gendocs_template
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/mem-vector.txt
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/shareable-vectors.txt
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/style.css
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/examples/examples.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/examples/gethostname.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/examples/gettimeofday.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/examples/mapping.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/examples/run-examples.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/examples/translator-test.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/grovel/asdf.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/grovel/common.h
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/grovel/grovel.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/grovel/invoke.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/grovel/package.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/built-in-types.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/cif.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/cstruct.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/functions.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/init.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/libffi-unix.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/libffi-win32.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/scripts/release.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-abcl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-allegro.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-clisp.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-cmucl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-corman.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-ecl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-gcl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-lispworks.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-mcl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-mkcl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-openmcl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-sbcl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-scl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/early-types.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/enum.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/features.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/foreign-vars.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/functions.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/libraries.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/package.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/strings.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/structures.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/types.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/utils.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/GNUmakefile
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/Makefile
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/bindings.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/callbacks.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/compile.bat
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/defcfun.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/enum.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/foreign-globals.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/fsbv.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/funcall.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/grovel.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/libfsbv.c
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/libtest.c
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/libtest2.c
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/memory.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/misc-types.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/misc.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/package.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/random-tester.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/run-tests.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/strings.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/struct.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/union.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/uffi-compat/uffi-compat.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/uffi-compat/uffi.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/.gitignore
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/.travis.yml
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/COPYRIGHT
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/HEADER
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/Makefile
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/README.md
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/TODO
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi-examples.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi-grovel.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi-libffi.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi-tests.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi-toolchain.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi-uffi-compat.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/Makefile
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/allegro-internals.txt
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/cffi-manual.texinfo
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/cffi-sys-spec.texinfo
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/colorize-lisp-examples.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/gendocs.sh
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/gendocs_template
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/mem-vector.txt
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/shareable-vectors.txt
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/style.css
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/examples.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/gethostname.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/gettimeofday.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/grovel-example.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/main-example.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/mapping.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/package.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/run-examples.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/translator-test.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/wrapper-example.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/grovel/asdf.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/grovel/common.h
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/grovel/grovel.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/grovel/package.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/libffi/funcall.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/libffi/libffi-functions.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/libffi/libffi-types.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/libffi/libffi.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/libffi/type-descriptors.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/scripts/release.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/c2ffi/asdf.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/c2ffi/c2ffi.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/c2ffi/generator.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/c2ffi/package.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-abcl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-allegro.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-clisp.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-cmucl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-corman.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-ecl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-gcl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-lispworks.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-mcl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-mkcl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-openmcl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-sbcl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-scl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/early-types.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/enum.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/features.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/foreign-vars.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/functions.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/libraries.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/package.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/strings.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/structures.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/types.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/utils.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/GNUmakefile
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/Makefile
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/arrays.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/asdf.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/bindings.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/callbacks.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/compile.bat
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/defcfun.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/enum.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/foreign-globals.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/fsbv.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/funcall.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/grovel.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/libfsbv.c
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/libtest.c
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/libtest2.c
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/memory.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/misc-types.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/misc.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/package.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/random-tester.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/run-tests.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/strings.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/struct.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/union.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/toolchain/asdf-compat.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/toolchain/c-toolchain.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/toolchain/package.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/toolchain/static-link.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/uffi-compat/uffi-compat.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/uffi-compat/uffi.asd
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/.gitignore
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/.travis.yml
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/LICENSE
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/Makefile
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/README.md
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/build.xcvb
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/cl+ssl.asd
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/cl+ssl.test.asd
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/example.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/index.css
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/index.html
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/bio.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/conditions.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/context.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/ffi-buffer-all.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/ffi-buffer-clisp.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/ffi-buffer.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/ffi.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/package.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/random.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/reload.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/streams.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/ssl-verify-test.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/test.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/test/dummy.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/test/package.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/test/sni.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/todo.txt
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/.gitignore
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/.travis.yml
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/LICENSE
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/Makefile
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/README.md
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/build.xcvb
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/cl+ssl.asd
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/cl+ssl.test.asd
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/example.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/index.css
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/index.html
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/bio.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/conditions.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/context.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/ffi-1.1.0.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/ffi-buffer-all.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/ffi-buffer-clisp.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/ffi-buffer.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/ffi.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/package.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/random.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/reload.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/streams.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/ssl-verify-test.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/test.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/test/dummy.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/test/package.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/test/sni.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/todo.txt
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/CHANGELOG
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/LICENSE
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/README
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/cl-fad.asd
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/cl-fad.system
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/corman.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/doc/index.html
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/fad.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/fad.test.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/load.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/openmcl.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/packages.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/packages.test.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/path.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/temporary-files.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/temporary-files.test.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/CHANGELOG
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/LICENSE
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/README
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/cl-fad.asd
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/cl-fad.system
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/corman.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/doc/index.html
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/fad.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/fad.test.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/load.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/openmcl.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/packages.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/packages.test.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/path.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/temporary-files.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/temporary-files.test.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/LICENSE
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/README.markdown
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/external-program.asd
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/allegro.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/armedbear.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/clisp.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/cmucl.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/ecl.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/external-program.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/lispworks.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/openmcl.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/sbcl.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/unsupported.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/utilities.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/tests/tests.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/LICENSE
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/README.markdown
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/external-program.asd
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/allegro.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/armedbear.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/clisp.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/cmucl.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/ecl.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/external-program.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/lispworks.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/mkcl.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/openmcl.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/sbcl.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/unsupported.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/utilities.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/tests/tests.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/.gitignore
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/.pre-release.sh
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/CHANGELOG
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/CHANGELOG_TBNL
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/README
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/acceptor.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/compat.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/conditions.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/cookie.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/doc/LICENSE.txt
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/doc/Makefile
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/doc/clixdoc.xsl
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/doc/hunchentoot.gif
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/doc/index.xml
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/easy-handlers.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/headers.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/hunchentoot.asd
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/lispworks.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/log.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/make-docstrings.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/mime-types.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/misc.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/packages.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/release-checklist.txt
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/reply.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/request.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/run-test.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/session.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/set-timeouts.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/specials.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/ssl.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/taskmaster.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/UTF-8-demo.html
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/favicon.ico
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/fz.jpg
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/packages.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/script-engine.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/script.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/test-certificate.crt
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/test-handlers.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/test-key-no-password.key
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/url-rewrite/packages.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/url-rewrite/primitives.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/url-rewrite/specials.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/url-rewrite/url-rewrite.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/url-rewrite/util.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/util.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/errors/404.html
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/errors/500.html
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/favicon.ico
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/hunchentoot-doc.html
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/hunchentoot.gif
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/img/made-with-lisp-logo.jpg
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/index.html
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/.gitignore
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/.pre-release.sh
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/CHANGELOG
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/CHANGELOG_TBNL
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/README
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/acceptor.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/compat.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/conditions.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/cookie.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/doc/LICENSE.txt
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/doc/Makefile
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/doc/clixdoc.xsl
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/doc/hunchentoot.gif
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/doc/index.xml
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/easy-handlers.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/headers.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/hunchentoot.asd
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/lispworks.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/log.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/make-docstrings.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/mime-types.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/misc.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/packages.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/release-checklist.txt
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/reply.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/request.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/run-test.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/session.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/set-timeouts.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/specials.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/ssl.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/taskmaster.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/UTF-8-demo.html
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/favicon.ico
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/fz.jpg
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/packages.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/script-engine.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/script.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/test-certificate.crt
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/test-handlers.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/test-key-no-password.key
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/url-rewrite/packages.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/url-rewrite/primitives.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/url-rewrite/specials.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/url-rewrite/url-rewrite.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/url-rewrite/util.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/util.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/errors/404.html
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/errors/500.html
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/favicon.ico
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/hunchentoot-doc.html
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/hunchentoot.gif
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/img/made-with-lisp-logo.jpg
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/index.html
R books/centaur/quicklisp/bundle/software/md5-20150804-git/.gitattributes
R books/centaur/quicklisp/bundle/software/md5-20150804-git/.gitignore
R books/centaur/quicklisp/bundle/software/md5-20150804-git/COPYING
R books/centaur/quicklisp/bundle/software/md5-20150804-git/NEWS
R books/centaur/quicklisp/bundle/software/md5-20150804-git/README
R books/centaur/quicklisp/bundle/software/md5-20150804-git/md5.asd
R books/centaur/quicklisp/bundle/software/md5-20150804-git/md5.lisp
A books/centaur/quicklisp/bundle/software/md5-20170516-git/.gitattributes
A books/centaur/quicklisp/bundle/software/md5-20170516-git/.gitignore
A books/centaur/quicklisp/bundle/software/md5-20170516-git/COPYING
A books/centaur/quicklisp/bundle/software/md5-20170516-git/NEWS
A books/centaur/quicklisp/bundle/software/md5-20170516-git/README
A books/centaur/quicklisp/bundle/software/md5-20170516-git/md5.asd
A books/centaur/quicklisp/bundle/software/md5-20170516-git/md5.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/.gitignore
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/.travis.yml
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/LICENSE
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/README.md
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/TODO
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/doc/.gitignore
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/doc/Makefile
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/doc/license.texinfo
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/doc/macros.texinfo
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/doc/osicat.texinfo
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/doc/posix-internals.txt
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/mach/mach.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/mach/package.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/osicat-tests.asd
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/osicat.asd
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/.gitignore
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/basic-unix.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/basic-unixint.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/early.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/linux.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/misc.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/packages.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/unix.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/unixint.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/windows.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/wrappers.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/scripts/release.sh
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/src/fd-streams.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/src/osicat-sys.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/src/osicat.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/src/packages.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/src/time.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/tests/osicat.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/tests/posix.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/tests/tests.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/windows/package.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/windows/windows.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/.gitignore
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/.travis.yml
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/LICENSE
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/README.md
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/TODO
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/doc/.gitignore
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/doc/Makefile
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/doc/license.texinfo
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/doc/macros.texinfo
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/doc/osicat.texinfo
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/doc/posix-internals.txt
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/mach/mach.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/mach/package.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/osicat-tests.asd
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/osicat.asd
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/.gitignore
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/basic-unix.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/basic-unixint.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/early.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/linux.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/misc.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/packages.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/unix.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/unixint.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/windows.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/wrappers.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/scripts/release.sh
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/src/fd-streams.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/src/osicat-sys.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/src/osicat.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/src/packages.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/src/time.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/tests/osicat.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/tests/posix.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/tests/tests.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/windows/package.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/windows/windows.lisp
A books/centaur/quicklisp/bundle/software/split-sequence-1.2/README.md
A books/centaur/quicklisp/bundle/software/split-sequence-1.2/split-sequence.asd
A books/centaur/quicklisp/bundle/software/split-sequence-1.2/split-sequence.lisp
A books/centaur/quicklisp/bundle/software/split-sequence-1.2/tests.lisp
A books/centaur/quicklisp/bundle/software/split-sequence-1.2/version.lisp-expr
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/.gitignore
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/COPYING
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/dev/backtrace.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/dev/fallback.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/dev/map-backtrace.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/dev/mucking.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/dev/packages.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/dev/utilities.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/lift-standard.config
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/test/packages.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/test/test-setup.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/test/tests.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/trivial-backtrace-test.asd
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/trivial-backtrace.asd
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/website/source/index.md
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/website/source/resources/footer.md
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/website/source/resources/header.md
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/website/source/resources/navigation.md
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/website/website.tmproj
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/.gitignore
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/COPYING
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/README
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/dev/backtrace.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/dev/fallback.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/dev/map-backtrace.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/dev/mucking.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/dev/packages.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/dev/utilities.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/lift-standard.config
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/test/packages.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/test/test-setup.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/test/tests.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/trivial-backtrace-test.asd
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/trivial-backtrace.asd
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/website/source/index.md
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/website/source/resources/footer.md
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/website/source/resources/header.md
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/website/source/resources/navigation.md
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/website/website.tmproj
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/.travis.yml
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/COPYRIGHT
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/README.md
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/SPEC.md
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/release.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-abcl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-allegro.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-clisp.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-cmucl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-corman.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-ecl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-lispworks.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-mcl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-mkcl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-mocl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-openmcl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-sbcl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-scl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-xcl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/tests/package.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/tests/sysinfo.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/tests/tests.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/tests/utsname.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/trivial-features-tests.asd
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/trivial-features.asd
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/.travis.yml
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/COPYRIGHT
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/README.md
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/SPEC.md
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/release.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-abcl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-allegro.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-clasp.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-clisp.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-cmucl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-corman.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-ecl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-lispworks.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-mcl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-mkcl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-mocl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-openmcl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-sbcl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-scl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-xcl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/tests/package.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/tests/sysinfo.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/tests/tests.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/tests/utsname.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/trivial-features-tests.asd
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/trivial-features.asd
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/README.md
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/asdf-driver.asd
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/backward-driver.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/common-lisp.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/configuration.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/contrib/debug.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/driver.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/filesystem.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/image.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/lisp-build.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/os.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/package.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/pathname.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/run-program.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/stream.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/uiop.asd
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/utility.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/version.lisp-expr
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/README.md
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/asdf-driver.asd
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/backward-driver.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/common-lisp.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/configuration.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/contrib/debug.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/driver.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/filesystem.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/image.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/launch-program.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/lisp-build.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/os.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/package.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/pathname.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/run-program.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/stream.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/uiop.asd
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/utility.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/version.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/CHANGES
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/LICENSE
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/README.md
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/TODO
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/abcl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/allegro.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/clisp.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/clozure.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/cmucl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/ecl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/lispworks.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/mcl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/mocl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/openmcl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/sbcl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/scl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/condition.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/doc/backends.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/doc/design.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/abcl-socket.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/active-sockets-apis.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/address-apis.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/allegro-socket.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/clisp-sockets.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/cmucl-sockets.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/errors.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/lw-sockets.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/openmcl-sockets.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/sb-bsd-sockets.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/usock-sockets.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/option.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/package.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/server.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/test/package.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/test/test-condition.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/test/test-datagram.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/test/test-usocket.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/test/wait-for-input.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/usocket-test.asd
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/usocket.asd
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/usocket.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/vendor/OpenTransportUDP.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/vendor/kqueue.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/vendor/spawn-thread.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/vendor/split-sequence.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/CHANGES
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/LICENSE
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/README.md
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/TODO
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/abcl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/allegro.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/clisp.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/clozure.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/cmucl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/ecl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/lispworks.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/mcl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/mocl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/openmcl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/sbcl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/scl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/condition.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/doc/backends.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/doc/design.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/abcl-socket.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/active-sockets-apis.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/address-apis.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/allegro-socket.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/clisp-sockets.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/cmucl-sockets.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/errors.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/lw-sockets.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/openmcl-sockets.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/sb-bsd-sockets.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/usock-sockets.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/option.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/package.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/server.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/test/package.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/test/test-condition.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/test/test-datagram.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/test/test-usocket.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/test/wait-for-input.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/usocket-server.asd
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/usocket-test.asd
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/usocket.asd
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/usocket.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/vendor/OpenTransportUDP.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/vendor/kqueue.lisp
M books/centaur/quicklisp/bundle/system-index.txt
M books/centaur/quicklisp/bundle/timestamp.txt
M books/centaur/quicklisp/hunchentoot-raw.lsp
M books/centaur/quicklisp/update-libs.sh
A books/centaur/truth/sizes.lisp
M books/centaur/truth/truth.lisp
M books/centaur/vl/kit/lint.lisp
M books/centaur/vl/lint/lucid.lisp
M books/centaur/vl/lint/suppress-warnings.lisp
M books/centaur/vl/loader/parser/statements.lisp
M books/centaur/vl/loader/preprocessor/top.lisp
M books/centaur/vl/mlib/selfsize.lisp
M books/centaur/vl/parsetree.lisp
M books/centaur/vl/util/warnings.lisp
M books/doc/relnotes.lisp
M books/doc/top.lisp
M books/kestrel/abnf/semantics.lisp
A books/kestrel/apt/README.txt
A books/kestrel/apt/acl2-customization.lsp
A books/kestrel/apt/cert.acl2
A books/kestrel/apt/design-notes/notation.pdf
A books/kestrel/apt/design-notes/restrict.pdf
A books/kestrel/apt/design-notes/tailrec.pdf
A books/kestrel/apt/package.lsp
A books/kestrel/apt/portcullis.acl2
A books/kestrel/apt/portcullis.lisp
A books/kestrel/apt/restrict-design.lisp
A books/kestrel/apt/restrict-reference.lisp
A books/kestrel/apt/restrict-tests.lisp
A books/kestrel/apt/restrict.lisp
A books/kestrel/apt/tailrec-design.lisp
A books/kestrel/apt/tailrec-reference.lisp
A books/kestrel/apt/tailrec-tests.lisp
A books/kestrel/apt/tailrec.lisp
A books/kestrel/apt/top.lisp
A books/kestrel/images/apt-logo.png
M books/kestrel/top.lisp
M books/kestrel/utilities/copy-def.lisp
M books/kestrel/utilities/defmacroq.lisp
M books/kestrel/utilities/defthmr.lisp
A books/kestrel/utilities/directed-untranslate-tests.lisp
M books/kestrel/utilities/directed-untranslate.lisp
M books/kestrel/utilities/error-checking.lisp
A books/kestrel/utilities/make-executable.lisp
M books/kestrel/utilities/make-termination-theorem.lisp
A books/kestrel/utilities/orelse.lisp
M books/kestrel/utilities/top.lisp
A books/kestrel/utilities/trans-eval-error-triple.lisp
M books/misc/check-acl2-exports.lisp
M books/misc/expander.lisp
M books/misc/records0.lisp
M books/misc/total-order.lisp
M books/oslib/tempfile-logic.lisp
M books/projects/async/serial-adder/async-serial-adder.lisp
M books/projects/async/serial-adder/de.lisp
M books/projects/async/serial-adder/link-joint.lisp
M books/projects/async/serial-adder/list-rewrites.lisp
M books/projects/async/serial-adder/primp-database.lisp
M books/projects/sat/lrat/cube/README
M books/projects/sat/lrat/cube/run.lisp
M books/projects/sat/lrat/cube/run.sh
M books/projects/sat/lrat/early/README
M books/projects/sat/lrat/incremental/README
M books/projects/sat/lrat/incremental/clrat-parser.lisp
M books/projects/sat/lrat/incremental/incremental.lisp
M books/projects/sat/lrat/incremental/run.lisp
M books/projects/sat/lrat/incremental/top.lisp
M books/projects/sat/lrat/sorted/lrat-checker.lisp
M books/projects/sat/lrat/stobj-based/lrat-checker.lisp
M books/projects/sat/lrat/tests/README
M books/projects/sat/lrat/top.lisp
M books/projects/x86isa/doc.lisp
M books/projects/x86isa/utils/decoding-utilities.lisp
M books/std/stobjs/clone.lisp
M books/std/util/define.lisp
M books/std/util/defines.lisp
M books/std/util/returnspecs.lisp
M books/system/doc/acl2-doc.lisp
A books/system/tests/nested-stobj-formals.lisp
A books/system/tests/tau-contradiction.lisp
A books/system/to-do.txt
M books/workshops/2017/coglio-kaufmann-smith/support/simplify-defun.lisp
M defpkgs.lisp
M defuns.lisp
M doc.lisp
M emacs/acl2-doc.el
M emacs/emacs-acl2.el
M history-management.lisp
M hons-raw.lisp
M interface-raw.lisp
M other-events.lisp
M tau.lisp
M translate.lisp
Log Message:
-----------
Merge branch 'master' into io-lemmas
Commit: c2aa80db7e1ecc87aca5c304de44b4b4b1c2dd66
https://github.com/acl2/acl2/commit/c2aa80db7e1ecc87aca5c304de44b4b4b1c2dd66
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M books/system/to-do.txt
Log Message:
-----------
Add a pointer to the book in the relevant todo item
Commit: fbe82d6458ce41caa7e7390538ca714a2db12d29
https://github.com/acl2/acl2/commit/fbe82d6458ce41caa7e7390538ca714a2db12d29
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M books/doc/relnotes.lisp
Log Message:
-----------
Add a note to note-7-5-books
Commit: 6e75a380edcc4d27b742c007c8baef4a6bfebdb1
https://github.com/acl2/acl2/commit/6e75a380edcc4d27b742c007c8baef4a6bfebdb1
Author: David L. Rager <rag...@gmail.com>
Date: 2017-06-20 (Tue, 20 Jun 2017)
Changed paths:
M books/GNUmakefile
M books/coi/bags/eric-meta.lisp
M books/doc/relnotes.lisp
M books/std/io/base.lisp
A books/std/io/open-channels.lisp
M books/std/io/top.lisp
M books/system/to-do.txt
Log Message:
-----------
Merge pull request #742 from kini/io-lemmas
Add book std/io/open-lemmas
Compare: https://github.com/acl2/acl2/compare/17ce54873af1...6e75a380edcc
Home: https://github.com/acl2/acl2
Commit: bb366bffc66c2be776c663f13f885a017216642d
https://github.com/acl2/acl2/commit/bb366bffc66c2be776c663f13f885a017216642d
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-05-16 (Tue, 16 May 2017)
Changed paths:
M books/GNUmakefile
M books/coi/bags/eric-meta.lisp
Log Message:
-----------
fix typos
Commit: 3f2cebb3cfb17f741d30bc717395b2cf46e065cb
https://github.com/acl2/acl2/commit/3f2cebb3cfb17f741d30bc717395b2cf46e065cb
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-16 (Fri, 16 Jun 2017)
Changed paths:
M books/std/io/base.lisp
A books/std/io/open-channels.lisp
M books/std/io/top.lisp
Log Message:
-----------
Add lemmas about open-{in,out}put-channel-p1
These lemmas can help you prove that channels you have opened remain
open when you open or close other channels, or when you run various
built-in I/O functions.
Commit: b78c30f8c1dabd10a0f2bdf5da1d212ab795853a
https://github.com/acl2/acl2/commit/b78c30f8c1dabd10a0f2bdf5da1d212ab795853a
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-16 (Fri, 16 Jun 2017)
Changed paths:
M books/std/io/open-channels.lisp
Log Message:
-----------
Add some comments
Commit: 12c6d4911a886dad25e3a6166ea21a26c473b07b
https://github.com/acl2/acl2/commit/12c6d4911a886dad25e3a6166ea21a26c473b07b
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-16 (Fri, 16 Jun 2017)
Changed paths:
M books/std/io/open-channels.lisp
Log Message:
-----------
Shrink the theory tweaks
Turns out I didn't need most of that stuff.
Also changed a couple comments.
Commit: ea349409a08e875f0fff435a263d0e3d1d9caee2
https://github.com/acl2/acl2/commit/ea349409a08e875f0fff435a263d0e3d1d9caee2
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M books/std/io/open-channels.lisp
Log Message:
-----------
xdoc-ify the std/io/open-channels book
Commit: 746f278500848fa48b293450946639995f2d164b
https://github.com/acl2/acl2/commit/746f278500848fa48b293450946639995f2d164b
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M axioms.lisp
M bin/purity.sh
M books/GNUmakefile
M books/acl2s/acl2s-mode.lsp
M books/acl2s/cgen/cgen-state.lisp
M books/acl2s/cgen/fixers-gl-backend.lisp
M books/acl2s/cgen/fixers2.lisp
M books/acl2s/cgen/infer-enum-shape.lisp
M books/acl2s/cgen/prove-cgen.lisp
M books/acl2s/cgen/select.lisp
M books/acl2s/cgen/top.lisp
M books/acl2s/custom.lisp
M books/acl2s/defunc.lisp
A books/acl2s/demos/cert_pl_exclude
M books/acl2s/demos/dsp-fixer-rules.lisp
M books/acl2s/demos/dsp-preservation-rules.lisp
M books/acl2s/demos/dsp-type-and-fixer-defuns.lisp
M books/acl2s/demos/dsp.lsp
M books/acl2s/mode-acl2s-dependencies.lisp
M books/build/cert.pl
M books/build/jenkins/Makefile
M books/build/jenkins/build-multi.sh
M books/centaur/aignet/cnf.lisp
A books/centaur/aignet/ipasir.lisp
A books/centaur/glmc/acl2-customization.lsp
A books/centaur/glmc/bfr-mcheck-abc.lisp
A books/centaur/glmc/bfr-mcheck.lisp
A books/centaur/glmc/cert.acl2
A books/centaur/glmc/counter.acl2
A books/centaur/glmc/counter.lisp
A books/centaur/glmc/counter.sv
A books/centaur/glmc/glmc-generic-defs.lisp
A books/centaur/glmc/glmc-generic-proof.lisp
A books/centaur/glmc/glmc-templates.lisp
A books/centaur/glmc/glmc-test.lisp
A books/centaur/glmc/glmc.lisp
A books/centaur/glmc/portcullis.acl2
A books/centaur/glmc/portcullis.lisp
A books/centaur/glmc/shape-spec-invert.lisp
A books/centaur/ipasir/acl2-customization.lsp
A books/centaur/ipasir/cert.acl2
A books/centaur/ipasir/ipasir-backend.lisp
A books/centaur/ipasir/ipasir-interface-raw.lsp
A books/centaur/ipasir/ipasir-logic.lisp
A books/centaur/ipasir/ipasir-tests.lisp
A books/centaur/ipasir/ipasir-tools.lisp
A books/centaur/ipasir/load-ipasir-sharedlib-raw.lsp
A books/centaur/ipasir/package.lsp
A books/centaur/ipasir/portcullis.acl2
A books/centaur/ipasir/portcullis.lisp
M books/centaur/quicklisp/base-raw.lsp
A books/centaur/quicklisp/bundle/bundle-info.sexp
M books/centaur/quicklisp/bundle/bundle.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/.boring
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/.gitignore
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/AUTHORS
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/LICENCE
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/README
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/alexandria-tests.asd
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/alexandria.asd
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/arrays.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/binding.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/conditions.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/control-flow.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/definitions.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/doc/.gitignore
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/doc/Makefile
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/doc/alexandria.texinfo
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/doc/docstrings.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/features.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/functions.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/hash-tables.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/io.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/lists.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/macros.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/numbers.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/package.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/sequences.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/strings.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/symbols.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/tests.lisp
R books/centaur/quicklisp/bundle/software/alexandria-20150505-git/types.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/.boring
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/.gitignore
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/AUTHORS
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/LICENCE
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/README
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/alexandria-tests.asd
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/alexandria.asd
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/arrays.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/binding.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/conditions.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/control-flow.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/definitions.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/doc/.gitignore
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/doc/Makefile
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/doc/alexandria.texinfo
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/doc/docstrings.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/features.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/functions.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/hash-tables.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/io.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/lists.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/macros.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/numbers.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/package.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/sequences.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/strings.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/symbols.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/tests.lisp
A books/centaur/quicklisp/bundle/software/alexandria-20170516-git/types.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/.travis.yml
R books/centaur/quicklisp/bundle/software/babel-20150608-git/COPYRIGHT
R books/centaur/quicklisp/bundle/software/babel-20150608-git/HEADER
R books/centaur/quicklisp/bundle/software/babel-20150608-git/NOTES
R books/centaur/quicklisp/bundle/software/babel-20150608-git/README.md
R books/centaur/quicklisp/bundle/software/babel-20150608-git/babel-streams.asd
R books/centaur/quicklisp/bundle/software/babel-20150608-git/babel-tests.asd
R books/centaur/quicklisp/bundle/software/babel-20150608-git/babel.asd
R books/centaur/quicklisp/bundle/software/babel-20150608-git/doc/Makefile
R books/centaur/quicklisp/bundle/software/babel-20150608-git/doc/babel.texinfo
R books/centaur/quicklisp/bundle/software/babel-20150608-git/doc/license.texinfo
R books/centaur/quicklisp/bundle/software/babel-20150608-git/doc/macros.texinfo
R books/centaur/quicklisp/bundle/software/babel-20150608-git/scripts/release.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-ascii.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-cp1251.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-cp1252.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-ebcdic-int.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-ebcdic.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-gbk.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-iso-8859.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-jpn.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-koi8.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/enc-unicode.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/encodings.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/external-format.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/gbk-map.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/jpn-table.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/packages.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/sharp-backslash.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/streams.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/src/strings.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/ascii.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/ascii.txt-utf8
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/benchmarks.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/ebcdic-us.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/ebcdic-us.txt-utf8
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/gen-test-files.sh
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/streams.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/tests.lisp
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-16-with-le-bom.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-16.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-16.txt-utf8
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-32-with-le-bom.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-32.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-32.txt-utf8
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-8.txt
R books/centaur/quicklisp/bundle/software/babel-20150608-git/tests/utf-8.txt-utf8
A books/centaur/quicklisp/bundle/software/babel-20170516-git/.travis.yml
A books/centaur/quicklisp/bundle/software/babel-20170516-git/COPYRIGHT
A books/centaur/quicklisp/bundle/software/babel-20170516-git/HEADER
A books/centaur/quicklisp/bundle/software/babel-20170516-git/NOTES
A books/centaur/quicklisp/bundle/software/babel-20170516-git/README.md
A books/centaur/quicklisp/bundle/software/babel-20170516-git/babel-streams.asd
A books/centaur/quicklisp/bundle/software/babel-20170516-git/babel-tests.asd
A books/centaur/quicklisp/bundle/software/babel-20170516-git/babel.asd
A books/centaur/quicklisp/bundle/software/babel-20170516-git/doc/Makefile
A books/centaur/quicklisp/bundle/software/babel-20170516-git/doc/babel.texinfo
A books/centaur/quicklisp/bundle/software/babel-20170516-git/doc/license.texinfo
A books/centaur/quicklisp/bundle/software/babel-20170516-git/doc/macros.texinfo
A books/centaur/quicklisp/bundle/software/babel-20170516-git/scripts/release.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-ascii.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-cp1251.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-cp1252.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-ebcdic-int.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-ebcdic.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-gbk.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-iso-8859.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-jpn.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-koi8.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/enc-unicode.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/encodings.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/external-format.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/gbk-map.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/jpn-table.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/packages.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/sharp-backslash.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/streams.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/src/strings.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/ascii.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/ascii.txt-utf8
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/benchmarks.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/ebcdic-us.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/ebcdic-us.txt-utf8
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/gen-test-files.sh
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/streams.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/tests.lisp
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-16-with-le-bom.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-16.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-16.txt-utf8
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-32-with-le-bom.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-32.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-32.txt-utf8
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-8.txt
A books/centaur/quicklisp/bundle/software/babel-20170516-git/tests/utf-8.txt-utf8
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/.travis.yml
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/CONTRIBUTORS
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/LICENSE
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/README
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/bordeaux-threads.asd
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/site/index.html
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/site/style.css
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/bordeaux-threads.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/condition-variables.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/default-implementations.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-abcl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-allegro.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-clisp.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-clozure.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-cmucl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-corman.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-ecl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-lispworks-condition-variables.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-lispworks.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-mcl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-mkcl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-null.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-sbcl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/impl-scl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/src/pkgdcl.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/test/bordeaux-threads-test.lisp
A books/centaur/quicklisp/bundle/software/bordeaux-threads-v0.8.5/version.sexp
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/.gitignore
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/README.md
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/bt-semaphore-test.asd
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/bt-semaphore.asd
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/src/package.lisp
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/src/semaphore.lisp
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/t/package.lisp
R books/centaur/quicklisp/bundle/software/bt-semaphore-20131003-git/t/semaphore.lisp
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/.gitignore
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/README.md
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/bt-semaphore-test.asd
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/bt-semaphore.asd
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/src/package.lisp
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/src/semaphore.lisp
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/t/package.lisp
A books/centaur/quicklisp/bundle/software/bt-semaphore-20170227-git/t/semaphore.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/.gitignore
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/.travis.yml
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/COPYRIGHT
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/HEADER
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/Makefile
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/README.md
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/TODO
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/cffi-examples.asd
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/cffi-grovel.asd
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/cffi-libffi.asd
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/cffi-tests.asd
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/cffi-uffi-compat.asd
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/cffi.asd
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/Makefile
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/allegro-internals.txt
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/cffi-manual.texinfo
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/cffi-sys-spec.texinfo
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/colorize-lisp-examples.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/gendocs.sh
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/gendocs_template
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/mem-vector.txt
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/shareable-vectors.txt
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/doc/style.css
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/examples/examples.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/examples/gethostname.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/examples/gettimeofday.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/examples/mapping.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/examples/run-examples.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/examples/translator-test.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/grovel/asdf.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/grovel/common.h
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/grovel/grovel.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/grovel/invoke.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/grovel/package.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/built-in-types.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/cif.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/cstruct.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/functions.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/init.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/libffi-unix.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/libffi/libffi-win32.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/scripts/release.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-abcl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-allegro.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-clisp.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-cmucl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-corman.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-ecl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-gcl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-lispworks.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-mcl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-mkcl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-openmcl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-sbcl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/cffi-scl.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/early-types.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/enum.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/features.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/foreign-vars.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/functions.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/libraries.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/package.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/strings.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/structures.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/types.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/src/utils.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/GNUmakefile
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/Makefile
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/bindings.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/callbacks.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/compile.bat
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/defcfun.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/enum.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/foreign-globals.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/fsbv.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/funcall.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/grovel.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/libfsbv.c
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/libtest.c
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/libtest2.c
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/memory.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/misc-types.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/misc.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/package.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/random-tester.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/run-tests.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/strings.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/struct.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/tests/union.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/uffi-compat/uffi-compat.lisp
R books/centaur/quicklisp/bundle/software/cffi_0.16.1/uffi-compat/uffi.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/.gitignore
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/.travis.yml
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/COPYRIGHT
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/HEADER
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/Makefile
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/README.md
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/TODO
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi-examples.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi-grovel.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi-libffi.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi-tests.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi-toolchain.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi-uffi-compat.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/cffi.asd
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/Makefile
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/allegro-internals.txt
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/cffi-manual.texinfo
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/cffi-sys-spec.texinfo
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/colorize-lisp-examples.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/gendocs.sh
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/gendocs_template
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/mem-vector.txt
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/shareable-vectors.txt
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/doc/style.css
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/examples.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/gethostname.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/gettimeofday.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/grovel-example.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/main-example.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/mapping.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/package.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/run-examples.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/translator-test.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/examples/wrapper-example.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/grovel/asdf.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/grovel/common.h
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/grovel/grovel.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/grovel/package.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/libffi/funcall.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/libffi/libffi-functions.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/libffi/libffi-types.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/libffi/libffi.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/libffi/type-descriptors.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/scripts/release.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/c2ffi/asdf.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/c2ffi/c2ffi.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/c2ffi/generator.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/c2ffi/package.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-abcl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-allegro.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-clisp.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-cmucl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-corman.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-ecl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-gcl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-lispworks.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-mcl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-mkcl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-openmcl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-sbcl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/cffi-scl.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/early-types.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/enum.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/features.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/foreign-vars.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/functions.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/libraries.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/package.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/strings.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/structures.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/types.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/src/utils.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/GNUmakefile
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/Makefile
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/arrays.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/asdf.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/bindings.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/callbacks.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/compile.bat
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/defcfun.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/enum.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/foreign-globals.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/fsbv.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/funcall.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/grovel.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/libfsbv.c
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/libtest.c
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/libtest2.c
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/memory.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/misc-types.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/misc.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/package.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/random-tester.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/run-tests.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/strings.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/struct.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/tests/union.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/toolchain/asdf-compat.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/toolchain/c-toolchain.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/toolchain/package.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/toolchain/static-link.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/uffi-compat/uffi-compat.lisp
A books/centaur/quicklisp/bundle/software/cffi_0.18.0/uffi-compat/uffi.asd
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/.gitignore
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/.travis.yml
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/LICENSE
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/Makefile
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/README.md
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/build.xcvb
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/cl+ssl.asd
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/cl+ssl.test.asd
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/example.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/index.css
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/index.html
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/bio.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/conditions.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/context.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/ffi-buffer-all.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/ffi-buffer-clisp.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/ffi-buffer.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/ffi.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/package.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/random.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/reload.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/src/streams.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/ssl-verify-test.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/test.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/test/dummy.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/test/package.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/test/sni.lisp
R books/centaur/quicklisp/bundle/software/cl+ssl-20151218-git/todo.txt
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/.gitignore
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/.travis.yml
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/LICENSE
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/Makefile
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/README.md
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/build.xcvb
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/cl+ssl.asd
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/cl+ssl.test.asd
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/example.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/index.css
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/index.html
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/bio.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/conditions.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/context.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/ffi-1.1.0.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/ffi-buffer-all.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/ffi-buffer-clisp.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/ffi-buffer.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/ffi.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/package.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/random.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/reload.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/src/streams.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/ssl-verify-test.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/test.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/test/dummy.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/test/package.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/test/sni.lisp
A books/centaur/quicklisp/bundle/software/cl+ssl-20170403-git/todo.txt
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/CHANGELOG
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/LICENSE
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/README
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/cl-fad.asd
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/cl-fad.system
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/corman.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/doc/index.html
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/fad.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/fad.test.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/load.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/openmcl.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/packages.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/packages.test.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/path.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/temporary-files.lisp
R books/centaur/quicklisp/bundle/software/cl-fad-0.7.3/temporary-files.test.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/CHANGELOG
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/LICENSE
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/README
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/cl-fad.asd
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/cl-fad.system
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/corman.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/doc/index.html
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/fad.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/fad.test.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/load.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/openmcl.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/packages.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/packages.test.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/path.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/temporary-files.lisp
A books/centaur/quicklisp/bundle/software/cl-fad-0.7.4/temporary-files.test.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/LICENSE
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/README.markdown
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/external-program.asd
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/allegro.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/armedbear.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/clisp.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/cmucl.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/ecl.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/external-program.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/lispworks.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/openmcl.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/sbcl.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/unsupported.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/src/utilities.lisp
R books/centaur/quicklisp/bundle/software/external-program-20151218-git/tests/tests.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/LICENSE
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/README.markdown
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/external-program.asd
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/allegro.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/armedbear.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/clisp.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/cmucl.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/ecl.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/external-program.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/lispworks.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/mkcl.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/openmcl.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/sbcl.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/unsupported.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/src/utilities.lisp
A books/centaur/quicklisp/bundle/software/external-program-20160825-git/tests/tests.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/.gitignore
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/.pre-release.sh
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/CHANGELOG
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/CHANGELOG_TBNL
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/README
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/acceptor.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/compat.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/conditions.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/cookie.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/doc/LICENSE.txt
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/doc/Makefile
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/doc/clixdoc.xsl
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/doc/hunchentoot.gif
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/doc/index.xml
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/easy-handlers.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/headers.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/hunchentoot.asd
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/lispworks.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/log.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/make-docstrings.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/mime-types.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/misc.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/packages.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/release-checklist.txt
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/reply.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/request.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/run-test.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/session.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/set-timeouts.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/specials.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/ssl.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/taskmaster.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/UTF-8-demo.html
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/favicon.ico
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/fz.jpg
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/packages.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/script-engine.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/script.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/test-certificate.crt
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/test-handlers.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/test/test-key-no-password.key
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/url-rewrite/packages.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/url-rewrite/primitives.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/url-rewrite/specials.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/url-rewrite/url-rewrite.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/url-rewrite/util.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/util.lisp
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/errors/404.html
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/errors/500.html
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/favicon.ico
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/hunchentoot-doc.html
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/hunchentoot.gif
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/img/made-with-lisp-logo.jpg
R books/centaur/quicklisp/bundle/software/hunchentoot-1.2.34/www/index.html
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/.gitignore
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/.pre-release.sh
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/CHANGELOG
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/CHANGELOG_TBNL
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/README
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/acceptor.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/compat.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/conditions.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/cookie.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/doc/LICENSE.txt
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/doc/Makefile
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/doc/clixdoc.xsl
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/doc/hunchentoot.gif
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/doc/index.xml
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/easy-handlers.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/headers.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/hunchentoot.asd
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/lispworks.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/log.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/make-docstrings.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/mime-types.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/misc.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/packages.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/release-checklist.txt
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/reply.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/request.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/run-test.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/session.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/set-timeouts.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/specials.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/ssl.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/taskmaster.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/UTF-8-demo.html
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/favicon.ico
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/fz.jpg
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/packages.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/script-engine.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/script.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/test-certificate.crt
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/test-handlers.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/test/test-key-no-password.key
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/url-rewrite/packages.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/url-rewrite/primitives.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/url-rewrite/specials.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/url-rewrite/url-rewrite.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/url-rewrite/util.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/util.lisp
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/errors/404.html
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/errors/500.html
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/favicon.ico
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/hunchentoot-doc.html
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/hunchentoot.gif
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/img/made-with-lisp-logo.jpg
A books/centaur/quicklisp/bundle/software/hunchentoot-1.2.35/www/index.html
R books/centaur/quicklisp/bundle/software/md5-20150804-git/.gitattributes
R books/centaur/quicklisp/bundle/software/md5-20150804-git/.gitignore
R books/centaur/quicklisp/bundle/software/md5-20150804-git/COPYING
R books/centaur/quicklisp/bundle/software/md5-20150804-git/NEWS
R books/centaur/quicklisp/bundle/software/md5-20150804-git/README
R books/centaur/quicklisp/bundle/software/md5-20150804-git/md5.asd
R books/centaur/quicklisp/bundle/software/md5-20150804-git/md5.lisp
A books/centaur/quicklisp/bundle/software/md5-20170516-git/.gitattributes
A books/centaur/quicklisp/bundle/software/md5-20170516-git/.gitignore
A books/centaur/quicklisp/bundle/software/md5-20170516-git/COPYING
A books/centaur/quicklisp/bundle/software/md5-20170516-git/NEWS
A books/centaur/quicklisp/bundle/software/md5-20170516-git/README
A books/centaur/quicklisp/bundle/software/md5-20170516-git/md5.asd
A books/centaur/quicklisp/bundle/software/md5-20170516-git/md5.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/.gitignore
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/.travis.yml
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/LICENSE
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/README.md
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/TODO
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/doc/.gitignore
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/doc/Makefile
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/doc/license.texinfo
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/doc/macros.texinfo
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/doc/osicat.texinfo
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/doc/posix-internals.txt
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/mach/mach.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/mach/package.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/osicat-tests.asd
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/osicat.asd
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/.gitignore
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/basic-unix.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/basic-unixint.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/early.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/linux.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/misc.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/packages.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/unix.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/unixint.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/windows.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/posix/wrappers.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/scripts/release.sh
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/src/fd-streams.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/src/osicat-sys.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/src/osicat.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/src/packages.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/src/time.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/tests/osicat.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/tests/posix.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/tests/tests.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/windows/package.lisp
R books/centaur/quicklisp/bundle/software/osicat-20150709-git/windows/windows.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/.gitignore
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/.travis.yml
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/LICENSE
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/README.md
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/TODO
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/doc/.gitignore
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/doc/Makefile
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/doc/license.texinfo
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/doc/macros.texinfo
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/doc/osicat.texinfo
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/doc/posix-internals.txt
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/mach/mach.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/mach/package.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/osicat-tests.asd
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/osicat.asd
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/.gitignore
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/basic-unix.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/basic-unixint.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/early.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/linux.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/misc.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/packages.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/unix.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/unixint.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/windows.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/posix/wrappers.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/scripts/release.sh
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/src/fd-streams.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/src/osicat-sys.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/src/osicat.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/src/packages.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/src/time.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/tests/osicat.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/tests/posix.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/tests/tests.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/windows/package.lisp
A books/centaur/quicklisp/bundle/software/osicat-20160825-git/windows/windows.lisp
A books/centaur/quicklisp/bundle/software/split-sequence-1.2/README.md
A books/centaur/quicklisp/bundle/software/split-sequence-1.2/split-sequence.asd
A books/centaur/quicklisp/bundle/software/split-sequence-1.2/split-sequence.lisp
A books/centaur/quicklisp/bundle/software/split-sequence-1.2/tests.lisp
A books/centaur/quicklisp/bundle/software/split-sequence-1.2/version.lisp-expr
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/.gitignore
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/COPYING
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/dev/backtrace.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/dev/fallback.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/dev/map-backtrace.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/dev/mucking.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/dev/packages.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/dev/utilities.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/lift-standard.config
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/test/packages.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/test/test-setup.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/test/tests.lisp
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/trivial-backtrace-test.asd
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/trivial-backtrace.asd
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/website/source/index.md
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/website/source/resources/footer.md
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/website/source/resources/header.md
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/website/source/resources/navigation.md
R books/centaur/quicklisp/bundle/software/trivial-backtrace-20150407-git/website/website.tmproj
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/.gitignore
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/COPYING
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/README
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/dev/backtrace.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/dev/fallback.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/dev/map-backtrace.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/dev/mucking.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/dev/packages.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/dev/utilities.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/lift-standard.config
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/test/packages.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/test/test-setup.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/test/tests.lisp
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/trivial-backtrace-test.asd
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/trivial-backtrace.asd
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/website/source/index.md
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/website/source/resources/footer.md
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/website/source/resources/header.md
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/website/source/resources/navigation.md
A books/centaur/quicklisp/bundle/software/trivial-backtrace-20160531-git/website/website.tmproj
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/.travis.yml
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/COPYRIGHT
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/README.md
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/SPEC.md
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/release.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-abcl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-allegro.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-clisp.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-cmucl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-corman.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-ecl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-lispworks.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-mcl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-mkcl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-mocl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-openmcl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-sbcl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-scl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/src/tf-xcl.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/tests/package.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/tests/sysinfo.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/tests/tests.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/tests/utsname.lisp
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/trivial-features-tests.asd
R books/centaur/quicklisp/bundle/software/trivial-features-20150923-git/trivial-features.asd
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/.travis.yml
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/COPYRIGHT
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/README.md
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/SPEC.md
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/release.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-abcl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-allegro.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-clasp.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-clisp.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-cmucl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-corman.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-ecl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-lispworks.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-mcl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-mkcl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-mocl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-openmcl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-sbcl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-scl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/src/tf-xcl.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/tests/package.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/tests/sysinfo.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/tests/tests.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/tests/utsname.lisp
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/trivial-features-tests.asd
A books/centaur/quicklisp/bundle/software/trivial-features-20161204-git/trivial-features.asd
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/README.md
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/asdf-driver.asd
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/backward-driver.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/common-lisp.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/configuration.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/contrib/debug.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/driver.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/filesystem.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/image.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/lisp-build.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/os.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/package.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/pathname.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/run-program.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/stream.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/uiop.asd
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/utility.lisp
R books/centaur/quicklisp/bundle/software/uiop-3.1.6/version.lisp-expr
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/README.md
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/asdf-driver.asd
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/backward-driver.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/common-lisp.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/configuration.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/contrib/debug.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/driver.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/filesystem.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/image.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/launch-program.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/lisp-build.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/os.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/package.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/pathname.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/run-program.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/stream.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/uiop.asd
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/utility.lisp
A books/centaur/quicklisp/bundle/software/uiop-3.2.1/version.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/CHANGES
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/LICENSE
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/README.md
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/TODO
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/abcl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/allegro.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/clisp.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/clozure.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/cmucl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/ecl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/lispworks.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/mcl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/mocl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/openmcl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/sbcl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/backend/scl.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/condition.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/doc/backends.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/doc/design.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/abcl-socket.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/active-sockets-apis.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/address-apis.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/allegro-socket.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/clisp-sockets.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/cmucl-sockets.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/errors.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/lw-sockets.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/openmcl-sockets.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/sb-bsd-sockets.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/notes/usock-sockets.txt
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/option.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/package.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/server.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/test/package.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/test/test-condition.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/test/test-datagram.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/test/test-usocket.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/test/wait-for-input.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/usocket-test.asd
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/usocket.asd
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/usocket.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/vendor/OpenTransportUDP.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/vendor/kqueue.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/vendor/spawn-thread.lisp
R books/centaur/quicklisp/bundle/software/usocket-0.6.3.2/vendor/split-sequence.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/CHANGES
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/LICENSE
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/README.md
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/TODO
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/abcl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/allegro.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/clisp.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/clozure.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/cmucl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/ecl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/lispworks.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/mcl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/mocl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/openmcl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/sbcl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/backend/scl.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/condition.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/doc/backends.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/doc/design.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/abcl-socket.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/active-sockets-apis.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/address-apis.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/allegro-socket.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/clisp-sockets.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/cmucl-sockets.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/errors.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/lw-sockets.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/openmcl-sockets.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/sb-bsd-sockets.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/notes/usock-sockets.txt
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/option.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/package.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/server.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/test/package.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/test/test-condition.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/test/test-datagram.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/test/test-usocket.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/test/wait-for-input.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/usocket-server.asd
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/usocket-test.asd
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/usocket.asd
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/usocket.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/vendor/OpenTransportUDP.lisp
A books/centaur/quicklisp/bundle/software/usocket-0.7.0.1/vendor/kqueue.lisp
M books/centaur/quicklisp/bundle/system-index.txt
M books/centaur/quicklisp/bundle/timestamp.txt
M books/centaur/quicklisp/hunchentoot-raw.lsp
M books/centaur/quicklisp/update-libs.sh
A books/centaur/truth/sizes.lisp
M books/centaur/truth/truth.lisp
M books/centaur/vl/kit/lint.lisp
M books/centaur/vl/lint/lucid.lisp
M books/centaur/vl/lint/suppress-warnings.lisp
M books/centaur/vl/loader/parser/statements.lisp
M books/centaur/vl/loader/preprocessor/top.lisp
M books/centaur/vl/mlib/selfsize.lisp
M books/centaur/vl/parsetree.lisp
M books/centaur/vl/util/warnings.lisp
M books/doc/relnotes.lisp
M books/doc/top.lisp
M books/kestrel/abnf/semantics.lisp
A books/kestrel/apt/README.txt
A books/kestrel/apt/acl2-customization.lsp
A books/kestrel/apt/cert.acl2
A books/kestrel/apt/design-notes/notation.pdf
A books/kestrel/apt/design-notes/restrict.pdf
A books/kestrel/apt/design-notes/tailrec.pdf
A books/kestrel/apt/package.lsp
A books/kestrel/apt/portcullis.acl2
A books/kestrel/apt/portcullis.lisp
A books/kestrel/apt/restrict-design.lisp
A books/kestrel/apt/restrict-reference.lisp
A books/kestrel/apt/restrict-tests.lisp
A books/kestrel/apt/restrict.lisp
A books/kestrel/apt/tailrec-design.lisp
A books/kestrel/apt/tailrec-reference.lisp
A books/kestrel/apt/tailrec-tests.lisp
A books/kestrel/apt/tailrec.lisp
A books/kestrel/apt/top.lisp
A books/kestrel/images/apt-logo.png
M books/kestrel/top.lisp
M books/kestrel/utilities/copy-def.lisp
M books/kestrel/utilities/defmacroq.lisp
M books/kestrel/utilities/defthmr.lisp
A books/kestrel/utilities/directed-untranslate-tests.lisp
M books/kestrel/utilities/directed-untranslate.lisp
M books/kestrel/utilities/error-checking.lisp
A books/kestrel/utilities/make-executable.lisp
M books/kestrel/utilities/make-termination-theorem.lisp
A books/kestrel/utilities/orelse.lisp
M books/kestrel/utilities/top.lisp
A books/kestrel/utilities/trans-eval-error-triple.lisp
M books/misc/check-acl2-exports.lisp
M books/misc/expander.lisp
M books/misc/records0.lisp
M books/misc/total-order.lisp
M books/oslib/tempfile-logic.lisp
M books/projects/async/serial-adder/async-serial-adder.lisp
M books/projects/async/serial-adder/de.lisp
M books/projects/async/serial-adder/link-joint.lisp
M books/projects/async/serial-adder/list-rewrites.lisp
M books/projects/async/serial-adder/primp-database.lisp
M books/projects/sat/lrat/cube/README
M books/projects/sat/lrat/cube/run.lisp
M books/projects/sat/lrat/cube/run.sh
M books/projects/sat/lrat/early/README
M books/projects/sat/lrat/incremental/README
M books/projects/sat/lrat/incremental/clrat-parser.lisp
M books/projects/sat/lrat/incremental/incremental.lisp
M books/projects/sat/lrat/incremental/run.lisp
M books/projects/sat/lrat/incremental/top.lisp
M books/projects/sat/lrat/sorted/lrat-checker.lisp
M books/projects/sat/lrat/stobj-based/lrat-checker.lisp
M books/projects/sat/lrat/tests/README
M books/projects/sat/lrat/top.lisp
M books/projects/x86isa/doc.lisp
M books/projects/x86isa/utils/decoding-utilities.lisp
M books/std/stobjs/clone.lisp
M books/std/util/define.lisp
M books/std/util/defines.lisp
M books/std/util/returnspecs.lisp
M books/system/doc/acl2-doc.lisp
A books/system/tests/nested-stobj-formals.lisp
A books/system/tests/tau-contradiction.lisp
A books/system/to-do.txt
M books/workshops/2017/coglio-kaufmann-smith/support/simplify-defun.lisp
M defpkgs.lisp
M defuns.lisp
M doc.lisp
M emacs/acl2-doc.el
M emacs/emacs-acl2.el
M history-management.lisp
M hons-raw.lisp
M interface-raw.lisp
M other-events.lisp
M tau.lisp
M translate.lisp
Log Message:
-----------
Merge branch 'master' into io-lemmas
Commit: c2aa80db7e1ecc87aca5c304de44b4b4b1c2dd66
https://github.com/acl2/acl2/commit/c2aa80db7e1ecc87aca5c304de44b4b4b1c2dd66
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M books/system/to-do.txt
Log Message:
-----------
Add a pointer to the book in the relevant todo item
Commit: fbe82d6458ce41caa7e7390538ca714a2db12d29
https://github.com/acl2/acl2/commit/fbe82d6458ce41caa7e7390538ca714a2db12d29
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M books/doc/relnotes.lisp
Log Message:
-----------
Add a note to note-7-5-books
Commit: 6e75a380edcc4d27b742c007c8baef4a6bfebdb1
https://github.com/acl2/acl2/commit/6e75a380edcc4d27b742c007c8baef4a6bfebdb1
Author: David L. Rager <rag...@gmail.com>
Date: 2017-06-20 (Tue, 20 Jun 2017)
Changed paths:
M books/GNUmakefile
M books/coi/bags/eric-meta.lisp
M books/doc/relnotes.lisp
M books/std/io/base.lisp
A books/std/io/open-channels.lisp
M books/std/io/top.lisp
M books/system/to-do.txt
Log Message:
-----------
Merge pull request #742 from kini/io-lemmas
Add book std/io/open-lemmas
Compare: https://github.com/acl2/acl2/compare/17ce54873af1...6e75a380edcc
Keshav Kini
Jun 20, 2017, 11:24:33 AM6/20/17
to acl2-...@googlegroups.com, GitHub
It's kind of unfortunate that github decides to title these emails based only on the first commit in the sequence that was pushed. Makes it look like I'm trying to sneak in changes under the guise of a mere typo fix :)
-Keshav
-Keshav
GitHub
Jun 20, 2017, 2:57:46 PM6/20/17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Commit: d16ef847f6faa9d1e0e5d71b639d047b685bfbc8
https://github.com/acl2/acl2/commit/d16ef847f6faa9d1e0e5d71b639d047b685bfbc8
Author: Keshav Kini <kesha...@gmail.com>
Log Message:
-----------
Fix XDOC errors
`open-input-channel-p1` and `open-output-channel-p1` have no doc
topics about them, so I changed the @(tsee)s to @({})s.
Commit: 6a4876318a6491a47c55b10e3355daea64664d72
https://github.com/acl2/acl2/commit/6a4876318a6491a47c55b10e3355daea64664d72
M books/std/io/open-channels.lisp
Log Message:
-----------
Merge pull request #743 from kini/io-lemmas
Fix XDOC errors
Commit: 100718443ec9045b078cf03748c05934397d9c0c
https://github.com/acl2/acl2/commit/100718443ec9045b078cf03748c05934397d9c0c
M acl2.lisp
M basis-a.lisp
M books/doc/top.lisp
A books/kestrel/utilities/er-soft-plus.lisp
M books/kestrel/utilities/top.lisp
M books/misc/check-acl2-exports.lisp
M books/projects/sat/lrat/incremental/incremental.lisp
M books/projects/sat/lrat/incremental/top.lisp
M books/system/doc/acl2-doc.lisp
M books/system/verified-termination-and-guards.lisp
A books/tools/er-soft-logic.lisp
M boot-strap-pass-2.lisp
M doc.lisp
M other-events.lisp
Log Message:
-----------
Merge commit '83970f71064485baba89eee791003ae2560b49f0' into HEAD
Compare: https://github.com/acl2/acl2/compare/83970f710644...100718443ec9
https://github.com/acl2/acl2/commit/d16ef847f6faa9d1e0e5d71b639d047b685bfbc8
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-20 (Tue, 20 Jun 2017)
Changed paths:
M books/std/io/open-channels.lisp
Changed paths:
Log Message:
-----------
Fix XDOC errors
`open-input-channel-p1` and `open-output-channel-p1` have no doc
topics about them, so I changed the @(tsee)s to @({})s.
Commit: 6a4876318a6491a47c55b10e3355daea64664d72
https://github.com/acl2/acl2/commit/6a4876318a6491a47c55b10e3355daea64664d72
M books/std/io/open-channels.lisp
Log Message:
-----------
Merge pull request #743 from kini/io-lemmas
Fix XDOC errors
Commit: 100718443ec9045b078cf03748c05934397d9c0c
https://github.com/acl2/acl2/commit/100718443ec9045b078cf03748c05934397d9c0c
M acl2.lisp
M basis-a.lisp
M books/doc/top.lisp
A books/kestrel/utilities/er-soft-plus.lisp
M books/kestrel/utilities/top.lisp
M books/misc/check-acl2-exports.lisp
M books/projects/sat/lrat/incremental/incremental.lisp
M books/projects/sat/lrat/incremental/top.lisp
M books/system/doc/acl2-doc.lisp
M books/system/verified-termination-and-guards.lisp
A books/tools/er-soft-logic.lisp
M boot-strap-pass-2.lisp
M doc.lisp
M other-events.lisp
Log Message:
-----------
Merge commit '83970f71064485baba89eee791003ae2560b49f0' into HEAD
Compare: https://github.com/acl2/acl2/compare/83970f710644...100718443ec9
Reply all
Reply to author
Forward
0 new messages