[acl2/acl2] 9a093b: Fix typos in X86ISA decoding tables.
0 views
Skip to first unread message
GitHub
Jun 20, 2017, 7:31:27 AM6/20/17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 9a093b70f2cfa57e29b7c219cb7d865a5bdf674d
https://github.com/acl2/acl2/commit/9a093b70f2cfa57e29b7c219cb7d865a5bdf674d
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Fix typos in X86ISA decoding tables.
Commit: 251aa2b67054b90f23da0a0d054ffeeb17cf0fdb
https://github.com/acl2/acl2/commit/251aa2b67054b90f23da0a0d054ffeeb17cf0fdb
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Fix error message in an X86ISA decoding function.
Commit: d53d533ed98c083151cd42aeb226f7ea86f5c321
https://github.com/acl2/acl2/commit/d53d533ed98c083151cd42aeb226f7ea86f5c321
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Add missing constant from documentation.
Commit: d4d15bea382376bcd5a27a63ce721d5c54ae6b26
https://github.com/acl2/acl2/commit/d4d15bea382376bcd5a27a63ce721d5c54ae6b26
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Add explanatory comment, based on emails with Shilpi.
Commit: 2b31363c04b2e7d801ba67ac784dec904b2f0fed
https://github.com/acl2/acl2/commit/2b31363c04b2e7d801ba67ac784dec904b2f0fed
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Add explanatory comment, based on emails with Shilpi.
Commit: 2e8f05a337970bedad798d9c8208fbaf046bc955
https://github.com/acl2/acl2/commit/2e8f05a337970bedad798d9c8208fbaf046bc955
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Add an explanatory comment.
Commit: 78e6e5ca18810613a3648af6c4fcc7478d6ba1ed
https://github.com/acl2/acl2/commit/78e6e5ca18810613a3648af6c4fcc7478d6ba1ed
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Add some explanatory comments.
Commit: 43c32116b3095d6fec7a7d5056cb9305f75cd5e2
https://github.com/acl2/acl2/commit/43c32116b3095d6fec7a7d5056cb9305f75cd5e2
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/utilities.lisp
Log Message:
-----------
Add comment.
Commit: 25b21a0e9becae0f72e7b48ba2414078ab1728ad
https://github.com/acl2/acl2/commit/25b21a0e9becae0f72e7b48ba2414078ab1728ad
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/utilities.lisp
Log Message:
-----------
Add slight clarification to documentation.
Commit: c93b779f74c9d09366b0d50dd505a582d097fe3a
https://github.com/acl2/acl2/commit/c93b779f74c9d09366b0d50dd505a582d097fe3a
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/utilities.lisp
Log Message:
-----------
Add comment.
Commit: 86fc13c1433cbd637c597cd5bf1b1717f6d91c58
https://github.com/acl2/acl2/commit/86fc13c1433cbd637c597cd5bf1b1717f6d91c58
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/utilities.lisp
Log Message:
-----------
Fix typo in comment.
Commit: 21565fb6b4b15e2e9dc0931fd3ecf924d14bb8df
https://github.com/acl2/acl2/commit/21565fb6b4b15e2e9dc0931fd3ecf924d14bb8df
Author: Shilpi Goel <shi...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M acl2.lisp
M axioms.lisp
M basis-a.lisp
A bin/make-tags-acl2-doc.sh
M bin/purity.sh
M books/GNUmakefile
M books/acl2s/acl2s-mode.lsp
M books/acl2s/cgen/build-enumcalls.lisp
M books/acl2s/cgen/cert.acl2
M books/acl2s/cgen/cgen-rules.lisp
M books/acl2s/cgen/cgen-search.lisp
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/incremental-search.lisp
M books/acl2s/cgen/infer-enum-shape.lisp
M books/acl2s/cgen/propagate.lisp
M books/acl2s/cgen/prove-cgen.lisp
A books/acl2s/cgen/regress-stats.awk
M books/acl2s/cgen/select.lisp
M books/acl2s/cgen/simple-search.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/abc.lisp
M books/centaur/aignet/aignet-absstobj.lisp
M books/centaur/aignet/aignet-logic-interface.lisp
M books/centaur/aignet/arrays.lisp
M books/centaur/aignet/cnf.lisp
M books/centaur/aignet/construction.lisp
M books/centaur/aignet/copying.lisp
M books/centaur/aignet/eval.lisp
M books/centaur/aignet/from-hons-aig.lisp
A books/centaur/aignet/ipasir.lisp
M books/centaur/aignet/prune.lisp
M books/centaur/aignet/semantics.lisp
M books/centaur/fty/basetypes.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
M books/centaur/sv/svex/compose.lisp
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
A books/demos/sort-by-car-pkg.lsp
A books/demos/sort-by-car-support.acl2
A books/demos/sort-by-car-support.lisp
A books/demos/sort-by-car.acl2
A books/demos/sort-by-car.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/soft/acl2-customization.lsp
M books/kestrel/soft/cert.acl2
M books/kestrel/soft/documentation.lisp
M books/kestrel/soft/implementation.lisp
M books/kestrel/soft/package.lsp
M books/kestrel/soft/portcullis.acl2
M books/kestrel/soft/portcullis.lisp
M books/kestrel/soft/tests.lisp
M books/kestrel/soft/top.lisp
M books/kestrel/soft/workshop-paper-examples.lisp
M books/kestrel/soft/workshop-talk-examples.lisp
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
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
A books/projects/async/tools/convert-edif.lisp
M books/projects/sat/lrat/README
A books/projects/sat/lrat/cube/README
A books/projects/sat/lrat/cube/cert.acl2
A books/projects/sat/lrat/cube/clean-formula.acl2
A books/projects/sat/lrat/cube/clean-formula.lisp
A books/projects/sat/lrat/cube/cube.lisp
A books/projects/sat/lrat/cube/run.lisp
A books/projects/sat/lrat/cube/run.sh
A books/projects/sat/lrat/cube/transform.lisp
A books/projects/sat/lrat/cube/verify-for-cube-soundness-lemmas.lisp
A books/projects/sat/lrat/cube/verify-for-cube-soundness-main.lisp
A books/projects/sat/lrat/cube/verify-for-cube-soundness.lisp
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/print-formula.lisp
M books/projects/sat/lrat/incremental/run.lisp
R books/projects/sat/lrat/incremental/soundness.acl2
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
A books/projects/sat/lrat/tests/uuf-30-1-cube.clrat
A books/projects/sat/lrat/tests/uuf-30-1-cube.lrat
A books/projects/sat/lrat/tests/uuf-30-1.cube
M books/projects/sat/lrat/top.lisp
M books/projects/x86isa/doc.lisp
M books/projects/x86isa/utils/decoding-utilities.lisp
M books/projects/x86isa/utils/utilities.lisp
M books/std/stobjs/clone.lisp
M books/std/util/bstar.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
A books/workshops/2017/coglio-kaufmann-smith/support/demo-log.txt
A books/workshops/2017/coglio-kaufmann-smith/support/demo.lsp
M books/workshops/2017/coglio-kaufmann-smith/support/example-integers.lisp
M books/workshops/2017/coglio-kaufmann-smith/support/simplify-defun.lisp
M books/xdoc/save-rendered.lisp
M books/xdoc/topics.lisp
M defpkgs.lisp
M defuns.lisp
M doc.lisp
M emacs/acl2-doc.el
M emacs/emacs-acl2.el
M hons-raw.lisp
M interface-raw.lisp
M linear-a.lisp
M tau.lisp
M translate.lisp
Log Message:
-----------
Merge pull request #2 from acoglio/x86
Proposed edits
Commit: c85e0edd2da9ceae2a18c1a625144a6ff365f734
https://github.com/acl2/acl2/commit/c85e0edd2da9ceae2a18c1a625144a6ff365f734
Author: Shilpi Goel <shi...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M axioms.lisp
M books/kestrel/apt/restrict.lisp
M books/kestrel/apt/tailrec.lisp
M books/kestrel/utilities/directed-untranslate-tests.lisp
M books/kestrel/utilities/directed-untranslate.lisp
A books/kestrel/utilities/make-executable.lisp
M books/kestrel/utilities/top.lisp
M books/projects/x86isa/machine/instructions/x86-exchange-instructions.lisp
M books/projects/x86isa/machine/x86.lisp
M books/projects/x86isa/proofs/dataCopy/dataCopy.lisp
M books/projects/x86isa/tools/execution/examples/nop-sequence/nop.lsp
A books/projects/x86isa/tools/execution/examples/nop-sequence/xchg.c
M books/system/doc/acl2-doc.lisp
M books/workshops/2017/coglio-kaufmann-smith/support/simplify-defun.lisp
M doc.lisp
M history-management.lisp
M other-events.lisp
Log Message:
-----------
[x86isa] Fixed a bug in the implementation of opcode 0x90
Opcode 0x90 was previously implemented as the one-byte NOP instruction
(XCHG rAX rAX is an alias for one-byte NOP). However, this
implementation did not take the REX.B prefix into account. When
opcode = 0x90 and REX.B = 1, then this instruction corresponds to XCHG
rAX r8. If REX.B = 0, then this instruction corresponds to XCHG rAX
rAX. Thus, the x86-nop instruction semantic function does not exist
anymore, and the NOP case is handled in x86-xchg. Thanks to
Alessandro Coglio for an email conversation that led to spotting this
bug.
Commit: 17ce54873af1c5abaf09a4af3af5311a00752635
https://github.com/acl2/acl2/commit/17ce54873af1c5abaf09a4af3af5311a00752635
Author: David L. Rager <rag...@gmail.com>
Date: 2017-06-20 (Tue, 20 Jun 2017)
Changed paths:
M books/projects/x86isa/machine/instructions/x86-exchange-instructions.lisp
M books/projects/x86isa/machine/x86.lisp
M books/projects/x86isa/proofs/dataCopy/dataCopy.lisp
M books/projects/x86isa/tools/execution/examples/nop-sequence/nop.lsp
A books/projects/x86isa/tools/execution/examples/nop-sequence/xchg.c
M books/projects/x86isa/utils/decoding-utilities.lisp
M books/projects/x86isa/utils/utilities.lisp
Log Message:
-----------
Merge pull request #741 from shigoel/collaborate
Fixed a bug in the implementation of opcode 0x90, plus merging in some edits from Alessandro Coglio.
Compare: https://github.com/acl2/acl2/compare/34792c40d7df...17ce54873af1
Home: https://github.com/acl2/acl2
Commit: 9a093b70f2cfa57e29b7c219cb7d865a5bdf674d
https://github.com/acl2/acl2/commit/9a093b70f2cfa57e29b7c219cb7d865a5bdf674d
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Fix typos in X86ISA decoding tables.
Commit: 251aa2b67054b90f23da0a0d054ffeeb17cf0fdb
https://github.com/acl2/acl2/commit/251aa2b67054b90f23da0a0d054ffeeb17cf0fdb
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Fix error message in an X86ISA decoding function.
Commit: d53d533ed98c083151cd42aeb226f7ea86f5c321
https://github.com/acl2/acl2/commit/d53d533ed98c083151cd42aeb226f7ea86f5c321
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Add missing constant from documentation.
Commit: d4d15bea382376bcd5a27a63ce721d5c54ae6b26
https://github.com/acl2/acl2/commit/d4d15bea382376bcd5a27a63ce721d5c54ae6b26
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Add explanatory comment, based on emails with Shilpi.
Commit: 2b31363c04b2e7d801ba67ac784dec904b2f0fed
https://github.com/acl2/acl2/commit/2b31363c04b2e7d801ba67ac784dec904b2f0fed
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Add explanatory comment, based on emails with Shilpi.
Commit: 2e8f05a337970bedad798d9c8208fbaf046bc955
https://github.com/acl2/acl2/commit/2e8f05a337970bedad798d9c8208fbaf046bc955
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Add an explanatory comment.
Commit: 78e6e5ca18810613a3648af6c4fcc7478d6ba1ed
https://github.com/acl2/acl2/commit/78e6e5ca18810613a3648af6c4fcc7478d6ba1ed
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp
Log Message:
-----------
Add some explanatory comments.
Commit: 43c32116b3095d6fec7a7d5056cb9305f75cd5e2
https://github.com/acl2/acl2/commit/43c32116b3095d6fec7a7d5056cb9305f75cd5e2
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/utilities.lisp
Log Message:
-----------
Add comment.
Commit: 25b21a0e9becae0f72e7b48ba2414078ab1728ad
https://github.com/acl2/acl2/commit/25b21a0e9becae0f72e7b48ba2414078ab1728ad
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/utilities.lisp
Log Message:
-----------
Add slight clarification to documentation.
Commit: c93b779f74c9d09366b0d50dd505a582d097fe3a
https://github.com/acl2/acl2/commit/c93b779f74c9d09366b0d50dd505a582d097fe3a
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/utilities.lisp
Log Message:
-----------
Add comment.
Commit: 86fc13c1433cbd637c597cd5bf1b1717f6d91c58
https://github.com/acl2/acl2/commit/86fc13c1433cbd637c597cd5bf1b1717f6d91c58
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-13 (Tue, 13 Jun 2017)
Changed paths:
M books/projects/x86isa/utils/utilities.lisp
Log Message:
-----------
Fix typo in comment.
Commit: 21565fb6b4b15e2e9dc0931fd3ecf924d14bb8df
https://github.com/acl2/acl2/commit/21565fb6b4b15e2e9dc0931fd3ecf924d14bb8df
Author: Shilpi Goel <shi...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M acl2.lisp
M axioms.lisp
M basis-a.lisp
A bin/make-tags-acl2-doc.sh
M bin/purity.sh
M books/GNUmakefile
M books/acl2s/acl2s-mode.lsp
M books/acl2s/cgen/build-enumcalls.lisp
M books/acl2s/cgen/cert.acl2
M books/acl2s/cgen/cgen-rules.lisp
M books/acl2s/cgen/cgen-search.lisp
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/incremental-search.lisp
M books/acl2s/cgen/infer-enum-shape.lisp
M books/acl2s/cgen/propagate.lisp
M books/acl2s/cgen/prove-cgen.lisp
A books/acl2s/cgen/regress-stats.awk
M books/acl2s/cgen/select.lisp
M books/acl2s/cgen/simple-search.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/abc.lisp
M books/centaur/aignet/aignet-absstobj.lisp
M books/centaur/aignet/aignet-logic-interface.lisp
M books/centaur/aignet/arrays.lisp
M books/centaur/aignet/cnf.lisp
M books/centaur/aignet/construction.lisp
M books/centaur/aignet/copying.lisp
M books/centaur/aignet/eval.lisp
M books/centaur/aignet/from-hons-aig.lisp
A books/centaur/aignet/ipasir.lisp
M books/centaur/aignet/prune.lisp
M books/centaur/aignet/semantics.lisp
M books/centaur/fty/basetypes.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
M books/centaur/sv/svex/compose.lisp
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
A books/demos/sort-by-car-pkg.lsp
A books/demos/sort-by-car-support.acl2
A books/demos/sort-by-car-support.lisp
A books/demos/sort-by-car.acl2
A books/demos/sort-by-car.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/soft/acl2-customization.lsp
M books/kestrel/soft/cert.acl2
M books/kestrel/soft/documentation.lisp
M books/kestrel/soft/implementation.lisp
M books/kestrel/soft/package.lsp
M books/kestrel/soft/portcullis.acl2
M books/kestrel/soft/portcullis.lisp
M books/kestrel/soft/tests.lisp
M books/kestrel/soft/top.lisp
M books/kestrel/soft/workshop-paper-examples.lisp
M books/kestrel/soft/workshop-talk-examples.lisp
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
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
A books/projects/async/tools/convert-edif.lisp
M books/projects/sat/lrat/README
A books/projects/sat/lrat/cube/README
A books/projects/sat/lrat/cube/cert.acl2
A books/projects/sat/lrat/cube/clean-formula.acl2
A books/projects/sat/lrat/cube/clean-formula.lisp
A books/projects/sat/lrat/cube/cube.lisp
A books/projects/sat/lrat/cube/run.lisp
A books/projects/sat/lrat/cube/run.sh
A books/projects/sat/lrat/cube/transform.lisp
A books/projects/sat/lrat/cube/verify-for-cube-soundness-lemmas.lisp
A books/projects/sat/lrat/cube/verify-for-cube-soundness-main.lisp
A books/projects/sat/lrat/cube/verify-for-cube-soundness.lisp
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/print-formula.lisp
M books/projects/sat/lrat/incremental/run.lisp
R books/projects/sat/lrat/incremental/soundness.acl2
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
A books/projects/sat/lrat/tests/uuf-30-1-cube.clrat
A books/projects/sat/lrat/tests/uuf-30-1-cube.lrat
A books/projects/sat/lrat/tests/uuf-30-1.cube
M books/projects/sat/lrat/top.lisp
M books/projects/x86isa/doc.lisp
M books/projects/x86isa/utils/decoding-utilities.lisp
M books/projects/x86isa/utils/utilities.lisp
M books/std/stobjs/clone.lisp
M books/std/util/bstar.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
A books/workshops/2017/coglio-kaufmann-smith/support/demo-log.txt
A books/workshops/2017/coglio-kaufmann-smith/support/demo.lsp
M books/workshops/2017/coglio-kaufmann-smith/support/example-integers.lisp
M books/workshops/2017/coglio-kaufmann-smith/support/simplify-defun.lisp
M books/xdoc/save-rendered.lisp
M books/xdoc/topics.lisp
M defpkgs.lisp
M defuns.lisp
M doc.lisp
M emacs/acl2-doc.el
M emacs/emacs-acl2.el
M hons-raw.lisp
M interface-raw.lisp
M linear-a.lisp
M tau.lisp
M translate.lisp
Log Message:
-----------
Merge pull request #2 from acoglio/x86
Proposed edits
Commit: c85e0edd2da9ceae2a18c1a625144a6ff365f734
https://github.com/acl2/acl2/commit/c85e0edd2da9ceae2a18c1a625144a6ff365f734
Author: Shilpi Goel <shi...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M axioms.lisp
M books/kestrel/apt/restrict.lisp
M books/kestrel/apt/tailrec.lisp
M books/kestrel/utilities/directed-untranslate-tests.lisp
M books/kestrel/utilities/directed-untranslate.lisp
A books/kestrel/utilities/make-executable.lisp
M books/kestrel/utilities/top.lisp
M books/projects/x86isa/machine/instructions/x86-exchange-instructions.lisp
M books/projects/x86isa/machine/x86.lisp
M books/projects/x86isa/proofs/dataCopy/dataCopy.lisp
M books/projects/x86isa/tools/execution/examples/nop-sequence/nop.lsp
A books/projects/x86isa/tools/execution/examples/nop-sequence/xchg.c
M books/system/doc/acl2-doc.lisp
M books/workshops/2017/coglio-kaufmann-smith/support/simplify-defun.lisp
M doc.lisp
M history-management.lisp
M other-events.lisp
Log Message:
-----------
[x86isa] Fixed a bug in the implementation of opcode 0x90
Opcode 0x90 was previously implemented as the one-byte NOP instruction
(XCHG rAX rAX is an alias for one-byte NOP). However, this
implementation did not take the REX.B prefix into account. When
opcode = 0x90 and REX.B = 1, then this instruction corresponds to XCHG
rAX r8. If REX.B = 0, then this instruction corresponds to XCHG rAX
rAX. Thus, the x86-nop instruction semantic function does not exist
anymore, and the NOP case is handled in x86-xchg. Thanks to
Alessandro Coglio for an email conversation that led to spotting this
bug.
Commit: 17ce54873af1c5abaf09a4af3af5311a00752635
https://github.com/acl2/acl2/commit/17ce54873af1c5abaf09a4af3af5311a00752635
Author: David L. Rager <rag...@gmail.com>
Date: 2017-06-20 (Tue, 20 Jun 2017)
Changed paths:
M books/projects/x86isa/machine/instructions/x86-exchange-instructions.lisp
M books/projects/x86isa/machine/x86.lisp
M books/projects/x86isa/proofs/dataCopy/dataCopy.lisp
M books/projects/x86isa/tools/execution/examples/nop-sequence/nop.lsp
A books/projects/x86isa/tools/execution/examples/nop-sequence/xchg.c
M books/projects/x86isa/utils/decoding-utilities.lisp
M books/projects/x86isa/utils/utilities.lisp
Log Message:
-----------
Merge pull request #741 from shigoel/collaborate
Fixed a bug in the implementation of opcode 0x90, plus merging in some edits from Alessandro Coglio.
Compare: https://github.com/acl2/acl2/compare/34792c40d7df...17ce54873af1
GitHub
Jun 20, 2017, 8:18:59 AM6/20/17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Reply all
Reply to author
Forward
0 new messages