matita-doc_0.5.8-3build1_all.deb


Advertisement

Description

matita-doc - user manual of the Matita interactive theorem prover

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name matita-doc
Package version 0.5.8
Package release 3build1
Package architecture all
Package type deb
Installed size 1.88 KB
Download size 1.08 MB
Official Mirror archive.ubuntu.com
This package contains the PDF and HTML formatted Matita user manual.

Alternatives

Package Version Architecture Repository
matita-doc_0.5.8-3build1_all.deb 0.5.8 all Ubuntu Universe
matita-doc - - -

Download

Type URL
Binary Package matita-doc_0.5.8-3build1_all.deb
Source Package matita

Install Howto

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

Files

Path
/usr/share/doc-base/matita-manual
/usr/share/doc/matita-doc/AUTHORS
/usr/share/doc/matita-doc/BUGS
/usr/share/doc/matita-doc/changelog.Debian.gz
/usr/share/doc/matita-doc/copyright
/usr/share/doc/matita-doc/html/WrtCoq.html
/usr/share/doc/matita-doc/html/authoring.html
/usr/share/doc/matita-doc/html/axiom_definition_declaration.html
/usr/share/doc/matita-doc/html/ch05s02.html
/usr/share/doc/matita-doc/html/cicbrowser.html
/usr/share/doc/matita-doc/html/command_check.html
/usr/share/doc/matita-doc/html/command_coercion.html
/usr/share/doc/matita-doc/html/command_default.html
/usr/share/doc/matita-doc/html/command_eval.html
/usr/share/doc/matita-doc/html/command_hint.html
/usr/share/doc/matita-doc/html/command_include.html
/usr/share/doc/matita-doc/html/command_include_first.html
/usr/share/doc/matita-doc/html/command_inline.html
/usr/share/doc/matita-doc/html/command_prefer_coercion.html
/usr/share/doc/matita-doc/html/command_qed.html
/usr/share/doc/matita-doc/html/command_whelp.html
/usr/share/doc/matita-doc/html/docbook.css
/usr/share/doc/matita-doc/html/index.html
/usr/share/doc/matita-doc/html/inst_from_src.html
/usr/share/doc/matita-doc/html/matita.conf.xml.html
/usr/share/doc/matita-doc/html/proofs.html
/usr/share/doc/matita-doc/html/proofstatus.html
/usr/share/doc/matita-doc/html/sec_commands.html
/usr/share/doc/matita-doc/html/sec_declarative_tactics.html
/usr/share/doc/matita-doc/html/sec_gettingstarted.html
/usr/share/doc/matita-doc/html/sec_install.html
/usr/share/doc/matita-doc/html/sec_intro.html
/usr/share/doc/matita-doc/html/sec_license.html
/usr/share/doc/matita-doc/html/sec_tacticals.html
/usr/share/doc/matita-doc/html/sec_tactics.html
/usr/share/doc/matita-doc/html/sec_terms.html
/usr/share/doc/matita-doc/html/sec_usernotation.html
/usr/share/doc/matita-doc/html/tac_absurd.html
/usr/share/doc/matita-doc/html/tac_andelim.html
/usr/share/doc/matita-doc/html/tac_apply.html
/usr/share/doc/matita-doc/html/tac_applyS.html
/usr/share/doc/matita-doc/html/tac_assume.html
/usr/share/doc/matita-doc/html/tac_assumption.html
/usr/share/doc/matita-doc/html/tac_auto.html
/usr/share/doc/matita-doc/html/tac_bydone.html
/usr/share/doc/matita-doc/html/tac_byinduction.html
/usr/share/doc/matita-doc/html/tac_bytermweproved.html
/usr/share/doc/matita-doc/html/tac_case.html
/usr/share/doc/matita-doc/html/tac_cases.html
/usr/share/doc/matita-doc/html/tac_change.html
/usr/share/doc/matita-doc/html/tac_clear.html
/usr/share/doc/matita-doc/html/tac_clearbody.html
/usr/share/doc/matita-doc/html/tac_compose.html
/usr/share/doc/matita-doc/html/tac_constructor.html
/usr/share/doc/matita-doc/html/tac_contradiction.html
/usr/share/doc/matita-doc/html/tac_cut.html
/usr/share/doc/matita-doc/html/tac_decompose.html
/usr/share/doc/matita-doc/html/tac_demodulate.html
/usr/share/doc/matita-doc/html/tac_destruct.html
/usr/share/doc/matita-doc/html/tac_elim.html
/usr/share/doc/matita-doc/html/tac_elimType.html
/usr/share/doc/matita-doc/html/tac_exact.html
/usr/share/doc/matita-doc/html/tac_exists.html
/usr/share/doc/matita-doc/html/tac_exitselim.html
/usr/share/doc/matita-doc/html/tac_fail.html
/usr/share/doc/matita-doc/html/tac_fold.html
/usr/share/doc/matita-doc/html/tac_fourier.html
/usr/share/doc/matita-doc/html/tac_fwd.html
/usr/share/doc/matita-doc/html/tac_generalize.html
/usr/share/doc/matita-doc/html/tac_id.html
/usr/share/doc/matita-doc/html/tac_intro.html
/usr/share/doc/matita-doc/html/tac_intros.html
/usr/share/doc/matita-doc/html/tac_inversion.html
/usr/share/doc/matita-doc/html/tac_lapply.html
/usr/share/doc/matita-doc/html/tac_left.html
/usr/share/doc/matita-doc/html/tac_letin.html
/usr/share/doc/matita-doc/html/tac_normalize.html
/usr/share/doc/matita-doc/html/tac_obtain.html
/usr/share/doc/matita-doc/html/tac_reflexivity.html
/usr/share/doc/matita-doc/html/tac_replace.html
/usr/share/doc/matita-doc/html/tac_rewrite.html
/usr/share/doc/matita-doc/html/tac_right.html
/usr/share/doc/matita-doc/html/tac_ring.html
/usr/share/doc/matita-doc/html/tac_simplify.html
/usr/share/doc/matita-doc/html/tac_split.html
/usr/share/doc/matita-doc/html/tac_subst.html
/usr/share/doc/matita-doc/html/tac_suppose.html
/usr/share/doc/matita-doc/html/tac_symmetry.html
/usr/share/doc/matita-doc/html/tac_thesisbecomes.html
/usr/share/doc/matita-doc/html/tac_transitivity.html
/usr/share/doc/matita-doc/html/tac_unfold.html
/usr/share/doc/matita-doc/html/tac_weneedtoprove.html
/usr/share/doc/matita-doc/html/tac_weproceedbycases.html
/usr/share/doc/matita-doc/html/tac_weproceedbyinduction.html
/usr/share/doc/matita-doc/html/tac_whd.html
/usr/share/doc/matita-doc/html/tacticals.html
/usr/share/doc/matita-doc/html/tacticargs.html
/usr/share/doc/matita-doc/html/figures/database.dia.gz
/usr/share/doc/matita-doc/html/figures/database.png
/usr/share/doc/matita-doc/html/figures/matita.png
/usr/share/doc/matita-doc/html/figures/vbox1.png
/usr/share/doc/matita-doc/html/figures/vbox2.png
/usr/share/doc/matita-doc/html/figures/vbox3.png
/usr/share/doc/matita-doc/html/figures/vbox35.png
/usr/share/doc/matita-doc/html/figures/vbox4.png
/usr/share/doc/matita-doc/html/figures/vbox5.png
/usr/share/doc/matita-doc/html/figures/vbox6.png
/usr/share/doc/matita-doc/html/figures/vbox7.png
/usr/share/doc/matita-doc/pdf/matita.pdf

See Also

Package Description
matita_0.5.8-3build1_amd64.deb interactive theorem prover
matlab-support-dev_0.0.17_all.deb helpers for packages building MATLAB toolboxes
matroxset_0.4-6_amd64.deb switch output modes, including TV out, of Matrox video cards
maude_2.6-2_amd64.deb high-performance logical framework
maven-debian-helper_1.5ubuntu1_all.deb Helper tools for building Debian packages with Maven
maven2_2.2.1-10_all.deb Java software project management and comprehension tool
maven_3.0.4-2_all.deb Java software project management and comprehension tool
maxima-doc_5.24.0-1build1_all.deb A computer algebra system -- documentation
maxima-emacs_5.24.0-1build1_all.deb A computer algebra system -- emacs interface
maxima-share_5.24.0-1build1_all.deb A computer algebra system -- extra code
maxima-src_5.24.0-1build1_all.deb A computer algebra system -- source code
maxima-test_5.24.0-1build1_all.deb A computer algebra system -- test suite
maxima_5.24.0-1build1_amd64.deb A computer algebra system -- base system
maximus_0.4.14-2_amd64.deb Automaximizing window management tool
mayavi2_4.0.0-3build1_amd64.deb scientific visualization package for 2-D and 3-D data
Advertisement
Advertisement