acl2-doc_6.5-2_all.deb


Advertisement

Description

acl2-doc - Computational Logic for Applicative Common Lisp: documentation

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name acl2-doc
Package version 6.5
Package release 2
Package architecture all
Package type deb
Installed size 8.00 KB
Download size 1.59 MB
Official Mirror ftp.br.debian.org
ACL2 is both a programming language in which you can model computer
systems and a tool to help you prove properties of those models.
This package contains the documentation for ACL2.

Alternatives

Package Version Architecture Repository
acl2-doc_6.5-2_all.deb 6.5 all Debian Main
acl2-doc - - -

Requires

Name Value
dpkg >= 1.15.4
dpkg >= 1.14.18
install-info -
tex-common >= 3

Download

Type URL
Binary Package acl2-doc_6.5-2_all.deb
Source Package acl2

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install acl2-doc deb package:
    # sudo apt-get install acl2-doc

Files

Path
/usr/share/doc/acl2-doc/changelog.Debian.gz
/usr/share/doc/acl2-doc/copyright
/usr/share/doc/acl2-doc/books/README-svn.gz
/usr/share/doc/acl2-doc/books/arithmetic/README
/usr/share/doc/acl2-doc/books/arithmetic-2/README
/usr/share/doc/acl2-doc/books/arithmetic-2/meta/README
/usr/share/doc/acl2-doc/books/arithmetic-2/pass1/arithmetic-axioms.txt.gz
/usr/share/doc/acl2-doc/books/arithmetic-3/README.gz
/usr/share/doc/acl2-doc/books/arithmetic-5/README.gz
/usr/share/doc/acl2-doc/books/arithmetic-5/support/README
/usr/share/doc/acl2-doc/books/bdd/README
/usr/share/doc/acl2-doc/books/bdd/be/cath/add1.be
/usr/share/doc/acl2-doc/books/bdd/be/cath/add2.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/cath/add3.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/cath/add4.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/cath/addsub.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul03.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul04.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul05.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul06.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul07.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul08.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/rip02.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/rip04.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/rip06.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/rip08.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/transp.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/ztwaalf1.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/ztwaalf2.be
/usr/share/doc/acl2-doc/books/ccg/README
/usr/share/doc/acl2-doc/books/centaur/README.html
/usr/share/doc/acl2-doc/books/centaur/bridge/ruby/README
/usr/share/doc/acl2-doc/books/centaur/quicklisp/README
/usr/share/doc/acl2-doc/books/centaur/vl/README
/usr/share/doc/acl2-doc/books/centaur/vl/systest/README
/usr/share/doc/acl2-doc/books/centaur/vl/talks/README
/usr/share/doc/acl2-doc/books/clause-processors/SULFA/README.gz
/usr/share/doc/acl2-doc/books/clause-processors/SULFA/smt-examples/smt-lib-crafted/README
/usr/share/doc/acl2-doc/books/coi/README-coi.html
/usr/share/doc/acl2-doc/books/coi/bags/README
/usr/share/doc/acl2-doc/books/coi/defstructure/README
/usr/share/doc/acl2-doc/books/coi/dtrees/README
/usr/share/doc/acl2-doc/books/coi/osets/README
/usr/share/doc/acl2-doc/books/coi/paths/README
/usr/share/doc/acl2-doc/books/coi/records/fast/README
/usr/share/doc/acl2-doc/books/cowles/README
/usr/share/doc/acl2-doc/books/data-structures/README
/usr/share/doc/acl2-doc/books/defexec/README
/usr/share/doc/acl2-doc/books/defexec/dag-unification/README
/usr/share/doc/acl2-doc/books/defexec/find-path/README
/usr/share/doc/acl2-doc/books/defexec/find-path/graph/README
/usr/share/doc/acl2-doc/books/demos/tutorial-problems/README
/usr/share/doc/acl2-doc/books/demos/tutorial-problems/equivalence-of-two-functions/README
/usr/share/doc/acl2-doc/books/finite-set-theory/README
/usr/share/doc/acl2-doc/books/fix-cert/moved/README
/usr/share/doc/acl2-doc/books/ihs/README.gz
/usr/share/doc/acl2-doc/books/interface/README
/usr/share/doc/acl2-doc/books/interface/emacs/README
/usr/share/doc/acl2-doc/books/interface/emacs/README-mouse
/usr/share/doc/acl2-doc/books/interface/emacs/README-mouse.doc.gz
/usr/share/doc/acl2-doc/books/interface/emacs/README-mouse.mss.gz
/usr/share/doc/acl2-doc/books/interface/emacs/README-mouse.ps.gz
/usr/share/doc/acl2-doc/books/interface/infix/README.gz
/usr/share/doc/acl2-doc/books/interface/infix/infix-examples.dvi.gz
/usr/share/doc/acl2-doc/books/interface/infix/infix-examples.ps.gz
/usr/share/doc/acl2-doc/books/meta/README
/usr/share/doc/acl2-doc/books/misc/README.gz
/usr/share/doc/acl2-doc/books/misc/simplify-defuns.txt.gz
/usr/share/doc/acl2-doc/books/misc/misc2/README
/usr/share/doc/acl2-doc/books/models/jvm/guard-verified-m1/README.gz
/usr/share/doc/acl2-doc/books/models/jvm/m1/README.gz
/usr/share/doc/acl2-doc/books/models/jvm/m5/README
/usr/share/doc/acl2-doc/books/models/y86/README
/usr/share/doc/acl2-doc/books/models/y86/y86-basic/y86/README
/usr/share/doc/acl2-doc/books/nonstd/sqrt/README
/usr/share/doc/acl2-doc/books/nonstd/workshops/1999/README
/usr/share/doc/acl2-doc/books/nonstd/workshops/1999/analysis/README
/usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/README
/usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/book/README
/usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/solutions/README
/usr/share/doc/acl2-doc/books/nonstd/workshops/2011/reid-gamboa-differentiator/README
/usr/share/doc/acl2-doc/books/oracle/README
/usr/share/doc/acl2-doc/books/powerlists/README
/usr/share/doc/acl2-doc/books/projects/legacy-defrstobj/README.gz
/usr/share/doc/acl2-doc/books/projects/milawa/README
/usr/share/doc/acl2-doc/books/projects/milawa/ACL2/README
/usr/share/doc/acl2-doc/books/projects/symbolic/README
/usr/share/doc/acl2-doc/books/projects/taspi/code/README
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/README.gz
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/examples/README
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/examples/mips/README
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/examples/thacker/README
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/examples/x86-64/README
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/misc/README
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/translator/README
/usr/share/doc/acl2-doc/books/proofstyles/counterexamples/README
/usr/share/doc/acl2-doc/books/rtl/rel1/README
/usr/share/doc/acl2-doc/books/rtl/rel4/README.gz
/usr/share/doc/acl2-doc/books/rtl/rel4/arithmetic/README
/usr/share/doc/acl2-doc/books/rtl/rel4/lib/README
/usr/share/doc/acl2-doc/books/rtl/rel4/support/README
/usr/share/doc/acl2-doc/books/rtl/rel4/user/README
/usr/share/doc/acl2-doc/books/rtl/rel9/README.gz
/usr/share/doc/acl2-doc/books/rtl/rel9/arithmetic/README
/usr/share/doc/acl2-doc/books/rtl/rel9/support/README
/usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1/README
/usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1.delta1/README
/usr/share/doc/acl2-doc/books/rtl/rel9/support/lib2/README
/usr/share/doc/acl2-doc/books/rtl/rel9/support/support/README
/usr/share/doc/acl2-doc/books/system/doc/README
/usr/share/doc/acl2-doc/books/textbook/README.gz
/usr/share/doc/acl2-doc/books/textbook/index.html
/usr/share/doc/acl2-doc/books/textbook/chap10/README
/usr/share/doc/acl2-doc/books/textbook/chap11/README
/usr/share/doc/acl2-doc/books/textbook/chap3/README
/usr/share/doc/acl2-doc/books/textbook/chap3/solutions.txt.gz
/usr/share/doc/acl2-doc/books/textbook/chap4/README
/usr/share/doc/acl2-doc/books/textbook/chap5/README
/usr/share/doc/acl2-doc/books/textbook/chap6/README
/usr/share/doc/acl2-doc/books/textbook/chap6/solutions.txt.gz
/usr/share/doc/acl2-doc/books/textbook/chap7/README
/usr/share/doc/acl2-doc/books/textbook/chap7/solutions.txt.gz
/usr/share/doc/acl2-doc/books/tools/book-conflicts/README
/usr/share/doc/acl2-doc/books/xdoc/classic/README
/usr/share/doc/acl2-doc/doc/README
/usr/share/doc/acl2-doc/doc/acl2-code-size.txt
/usr/share/doc/acl2-doc/doc/create-acl2-code-size
/usr/share/doc/acl2-doc/doc/create-doc
/usr/share/doc/acl2-doc/doc/home-page.html
/usr/share/doc/acl2-doc/doc/home-page.lisp.gz
/usr/share/doc/acl2-doc/doc/write-acl2-code-size.lisp.gz
/usr/share/doc/acl2-doc/doc/manual/Icon_External_Link.png
/usr/share/doc/acl2-doc/doc/manual/collapse_subtopics.png
/usr/share/doc/acl2-doc/doc/manual/config.js
/usr/share/doc/acl2-doc/doc/manual/download.png
/usr/share/doc/acl2-doc/doc/manual/expand_subtopics.png
/usr/share/doc/acl2-doc/doc/manual/favicon.png
/usr/share/doc/acl2-doc/doc/manual/index.html
/usr/share/doc/acl2-doc/doc/manual/leaf.png
/usr/share/doc/acl2-doc/doc/manual/linkcheck.html
/usr/share/doc/acl2-doc/doc/manual/minus.png
/usr/share/doc/acl2-doc/doc/manual/plus.png
/usr/share/doc/acl2-doc/doc/manual/print.css
/usr/share/doc/acl2-doc/doc/manual/print.html
/usr/share/doc/acl2-doc/doc/manual/printer.png
/usr/share/doc/acl2-doc/doc/manual/render-html.xsl
/usr/share/doc/acl2-doc/doc/manual/render.js
/usr/share/doc/acl2-doc/doc/manual/sitemap.xml.gz
/usr/share/doc/acl2-doc/doc/manual/style.css
/usr/share/doc/acl2-doc/doc/manual/view_flat.png
/usr/share/doc/acl2-doc/doc/manual/view_tree.png
/usr/share/doc/acl2-doc/doc/manual/xdata.js
/usr/share/doc/acl2-doc/doc/manual/xdata2html.pl.gz
/usr/share/doc/acl2-doc/doc/manual/xdata2sql.pl.gz
/usr/share/doc/acl2-doc/doc/manual/xdataget.pl
/usr/share/doc/acl2-doc/doc/manual/xdoc-home.png
/usr/share/doc/acl2-doc/doc/manual/xdoc-logo.png
/usr/share/doc/acl2-doc/doc/manual/xdoc.js
/usr/share/doc/acl2-doc/doc/manual/xdoc_index.js
/usr/share/doc/acl2-doc/doc/manual/xindex.js
/usr/share/doc/acl2-doc/doc/manual/xslt.js
/usr/share/doc/acl2-doc/doc/manual/zip.sh
/usr/share/doc/acl2-doc/doc/manual/images/acl2-logo-200-134.gif
/usr/share/doc/acl2-doc/doc/manual/images/acl2-logo-62-41.gif
/usr/share/doc/acl2-doc/doc/manual/images/acl2-system-architecture.gif
/usr/share/doc/acl2-doc/doc/manual/images/automatic-theorem-prover.gif
/usr/share/doc/acl2-doc/doc/manual/images/binary-trees-app-expl.gif
/usr/share/doc/acl2-doc/doc/manual/images/binary-trees-app.gif
/usr/share/doc/acl2-doc/doc/manual/images/binary-trees-x-y.gif
/usr/share/doc/acl2-doc/doc/manual/images/book04.gif
/usr/share/doc/acl2-doc/doc/manual/images/bridge-analysis.gif
/usr/share/doc/acl2-doc/doc/manual/images/bridge.gif
/usr/share/doc/acl2-doc/doc/manual/images/chem01.gif
/usr/share/doc/acl2-doc/doc/manual/images/common-lisp.gif
/usr/share/doc/acl2-doc/doc/manual/images/computing-machine-5x7.gif
/usr/share/doc/acl2-doc/doc/manual/images/computing-machine-5xy.gif
/usr/share/doc/acl2-doc/doc/manual/images/computing-machine-a.gif
/usr/share/doc/acl2-doc/doc/manual/images/computing-machine-xxy.gif
/usr/share/doc/acl2-doc/doc/manual/images/computing-machine.gif
/usr/share/doc/acl2-doc/doc/manual/images/concrete-proof.gif
/usr/share/doc/acl2-doc/doc/manual/images/doc03.gif
/usr/share/doc/acl2-doc/doc/manual/images/docbag2.gif
/usr/share/doc/acl2-doc/doc/manual/images/door02.gif
/usr/share/doc/acl2-doc/doc/manual/images/file03.gif
/usr/share/doc/acl2-doc/doc/manual/images/file04.gif
/usr/share/doc/acl2-doc/doc/manual/images/flying.gif
/usr/share/doc/acl2-doc/doc/manual/images/ftp2.gif
/usr/share/doc/acl2-doc/doc/manual/images/gift.gif
/usr/share/doc/acl2-doc/doc/manual/images/green-line.gif
/usr/share/doc/acl2-doc/doc/manual/images/index.gif
/usr/share/doc/acl2-doc/doc/manual/images/info04.gif
/usr/share/doc/acl2-doc/doc/manual/images/interactive-theorem-prover-a.gif
/usr/share/doc/acl2-doc/doc/manual/images/interactive-theorem-prover.gif
/usr/share/doc/acl2-doc/doc/manual/images/landing.gif
/usr/share/doc/acl2-doc/doc/manual/images/large-flying.gif
/usr/share/doc/acl2-doc/doc/manual/images/large-walking.gif
/usr/share/doc/acl2-doc/doc/manual/images/llogo.gif
/usr/share/doc/acl2-doc/doc/manual/images/logo.gif
/usr/share/doc/acl2-doc/doc/manual/images/mailbox1.gif
/usr/share/doc/acl2-doc/doc/manual/images/new04.gif
/usr/share/doc/acl2-doc/doc/manual/images/note02.gif
/usr/share/doc/acl2-doc/doc/manual/images/open-book.gif
/usr/share/doc/acl2-doc/doc/manual/images/pisa.gif
/usr/share/doc/acl2-doc/doc/manual/images/proof.gif
/usr/share/doc/acl2-doc/doc/manual/images/sitting.gif
/usr/share/doc/acl2-doc/doc/manual/images/stack.gif
/usr/share/doc/acl2-doc/doc/manual/images/state-object.gif
/usr/share/doc/acl2-doc/doc/manual/images/teacher1.gif
/usr/share/doc/acl2-doc/doc/manual/images/teacher2.gif
/usr/share/doc/acl2-doc/doc/manual/images/time-out.gif
/usr/share/doc/acl2-doc/doc/manual/images/tools3.gif
/usr/share/doc/acl2-doc/doc/manual/images/twarning.gif
/usr/share/doc/acl2-doc/doc/manual/images/uaa-rewrite.gif
/usr/share/doc/acl2-doc/doc/manual/images/walking.gif
/usr/share/doc/acl2-doc/doc/manual/images/warning.gif
/usr/share/doc/acl2-doc/doc/manual/lib/jquery-2.0.3.js
/usr/share/doc/acl2-doc/doc/manual/lib/jquery-2.0.3.min.js
/usr/share/doc/acl2-doc/doc/manual/lib/jquery.base64.js
/usr/share/doc/acl2-doc/doc/manual/lib/jquery.powertip.css
/usr/share/doc/acl2-doc/doc/manual/lib/jquery.powertip.js
/usr/share/doc/acl2-doc/doc/manual/lib/jquery.powertip.min.js
/usr/share/doc/acl2-doc/doc/manual/lib/lazyload.js
/usr/share/doc/acl2-doc/doc/manual/lib/typeahead.js
/usr/share/doc/acl2-doc/doc/manual/lib/typeahead.min.js

Changelog

See acl2_6.5-2_amd64.deb changelog.

See Also

Package Description
acl2-emacs_6.5-2_all.deb Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix-source_6.5-2_all.deb Computational Logic for Applicative Common Lisp: infix source
acl2-infix_6.5-2_amd64.deb Computational Logic for Applicative Common Lisp: infix interface
acl2-source_6.5-2_all.deb Computational Logic for Applicative Common Lisp: source files
acl2_6.5-2_amd64.deb Computational Logic for Applicative Common Lisp: main binary
acl_2.2.52-2_amd64.deb Access control list utilities
aclock.app_0.4.0-1_amd64.deb Analog dockapp clock for GNUstep
acm_5.0-29_amd64.deb Multi-player classic aerial combat simulation
aconnectgui_0.9.0rc2-1-9_amd64.deb graphical ALSA sequencer connection manager
acorn-fdisk_3.0.6-8_amd64.deb partition editor for Acorn/RISC OS machines
acoustid-fingerprinter_0.6-4+b1_amd64.deb Acoustid fingerprinter
acpi-call-dkms_1.1.0-2_all.deb Kernel module that enables you to call ACPI methods
acpi-fakekey_0.142-6_amd64.deb tool to generate fake key events
acpi-support-base_0.142-6_all.deb scripts for handling base ACPI events such as the power button
acpi-support_0.142-6_all.deb scripts for handling many ACPI events
Advertisement
Advertisement