]> matita.cs.unibo.it Git - helm.git/commit
Install into doc the PDF and HTML manuals
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Jan 2023 17:27:13 +0000 (18:27 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Feb 2023 14:23:41 +0000 (15:23 +0100)
commit9d5a0d55e331b348d44b6d50d3d67e62b60a0e18
tree66d35b80589daa247c6abf67fb1317f8f55b8ac2
parent7b6ca76a0ed511b288b654729c9758277dbcd352
Install into doc the PDF and HTML manuals
152 files changed:
matita/matita.install
matita/matita/help/C/Makefile
matita/matita/help/C/WrtCoq.html [deleted file]
matita/matita/help/C/authoring.html [deleted file]
matita/matita/help/C/axiom_definition_declaration.html [deleted file]
matita/matita/help/C/ch05s02.html [deleted file]
matita/matita/help/C/cicbrowser.html [deleted file]
matita/matita/help/C/command_check.html [deleted file]
matita/matita/help/C/command_coercion.html [deleted file]
matita/matita/help/C/command_include.html [deleted file]
matita/matita/help/C/command_include_alias.html [deleted file]
matita/matita/help/C/command_qed.html [deleted file]
matita/matita/help/C/command_qed_minus.html [deleted file]
matita/matita/help/C/command_unification_hint.html [deleted file]
matita/matita/help/C/command_universe_constraints.html [deleted file]
matita/matita/help/C/dune [new file with mode: 0644]
matita/matita/help/C/html/WrtCoq.html [new file with mode: 0644]
matita/matita/help/C/html/authoring.html [new file with mode: 0644]
matita/matita/help/C/html/axiom_definition_declaration.html [new file with mode: 0644]
matita/matita/help/C/html/ch05s02.html [new file with mode: 0644]
matita/matita/help/C/html/cicbrowser.html [new file with mode: 0644]
matita/matita/help/C/html/command_check.html [new file with mode: 0644]
matita/matita/help/C/html/command_coercion.html [new file with mode: 0644]
matita/matita/help/C/html/command_include.html [new file with mode: 0644]
matita/matita/help/C/html/command_include_alias.html [new file with mode: 0644]
matita/matita/help/C/html/command_qed.html [new file with mode: 0644]
matita/matita/help/C/html/command_qed_minus.html [new file with mode: 0644]
matita/matita/help/C/html/command_unification_hint.html [new file with mode: 0644]
matita/matita/help/C/html/command_universe_constraints.html [new file with mode: 0644]
matita/matita/help/C/html/docbook.css [new file with mode: 0644]
matita/matita/help/C/html/figures/database.dia [new file with mode: 0644]
matita/matita/help/C/html/figures/database.png [new file with mode: 0644]
matita/matita/help/C/html/figures/matita.png [new file with mode: 0644]
matita/matita/help/C/html/figures/vbox1.png [new file with mode: 0644]
matita/matita/help/C/html/figures/vbox2.png [new file with mode: 0644]
matita/matita/help/C/html/figures/vbox3.png [new file with mode: 0644]
matita/matita/help/C/html/figures/vbox35.png [new file with mode: 0644]
matita/matita/help/C/html/figures/vbox4.png [new file with mode: 0644]
matita/matita/help/C/html/figures/vbox5.png [new file with mode: 0644]
matita/matita/help/C/html/figures/vbox6.png [new file with mode: 0644]
matita/matita/help/C/html/figures/vbox7.png [new file with mode: 0644]
matita/matita/help/C/html/index.html [new file with mode: 0644]
matita/matita/help/C/html/inst_from_src.html [new file with mode: 0644]
matita/matita/help/C/html/macro_intro.html [new file with mode: 0644]
matita/matita/help/C/html/proofs.html [new file with mode: 0644]
matita/matita/help/C/html/proofstatus.html [new file with mode: 0644]
matita/matita/help/C/html/sec_commands.html [new file with mode: 0644]
matita/matita/help/C/html/sec_declarative_tactics.html [new file with mode: 0644]
matita/matita/help/C/html/sec_gettingstarted.html [new file with mode: 0644]
matita/matita/help/C/html/sec_install.html [new file with mode: 0644]
matita/matita/help/C/html/sec_intro.html [new file with mode: 0644]
matita/matita/help/C/html/sec_license.html [new file with mode: 0644]
matita/matita/help/C/html/sec_tacticals.html [new file with mode: 0644]
matita/matita/help/C/html/sec_tactics.html [new file with mode: 0644]
matita/matita/help/C/html/sec_terms.html [new file with mode: 0644]
matita/matita/help/C/html/sec_usernotation.html [new file with mode: 0644]
matita/matita/help/C/html/tac_andelim.html [new file with mode: 0644]
matita/matita/help/C/html/tac_apply.html [new file with mode: 0644]
matita/matita/help/C/html/tac_applyS.html [new file with mode: 0644]
matita/matita/help/C/html/tac_assume.html [new file with mode: 0644]
matita/matita/help/C/html/tac_assumption.html [new file with mode: 0644]
matita/matita/help/C/html/tac_auto.html [new file with mode: 0644]
matita/matita/help/C/html/tac_bydone.html [new file with mode: 0644]
matita/matita/help/C/html/tac_byinduction.html [new file with mode: 0644]
matita/matita/help/C/html/tac_bytermweproved.html [new file with mode: 0644]
matita/matita/help/C/html/tac_case.html [new file with mode: 0644]
matita/matita/help/C/html/tac_cases.html [new file with mode: 0644]
matita/matita/help/C/html/tac_change.html [new file with mode: 0644]
matita/matita/help/C/html/tac_clear.html [new file with mode: 0644]
matita/matita/help/C/html/tac_conclude.html [new file with mode: 0644]
matita/matita/help/C/html/tac_constructor.html [new file with mode: 0644]
matita/matita/help/C/html/tac_cut.html [new file with mode: 0644]
matita/matita/help/C/html/tac_decompose.html [new file with mode: 0644]
matita/matita/help/C/html/tac_destruct.html [new file with mode: 0644]
matita/matita/help/C/html/tac_elim.html [new file with mode: 0644]
matita/matita/help/C/html/tac_existselim.html [new file with mode: 0644]
matita/matita/help/C/html/tac_generalize.html [new file with mode: 0644]
matita/matita/help/C/html/tac_intro.html [new file with mode: 0644]
matita/matita/help/C/html/tac_intro_clear.html [new file with mode: 0644]
matita/matita/help/C/html/tac_inversion.html [new file with mode: 0644]
matita/matita/help/C/html/tac_lapply.html [new file with mode: 0644]
matita/matita/help/C/html/tac_let.html [new file with mode: 0644]
matita/matita/help/C/html/tac_letin.html [new file with mode: 0644]
matita/matita/help/C/html/tac_normalize.html [new file with mode: 0644]
matita/matita/help/C/html/tac_obtain.html [new file with mode: 0644]
matita/matita/help/C/html/tac_rewrite.html [new file with mode: 0644]
matita/matita/help/C/html/tac_rewrite_step.html [new file with mode: 0644]
matita/matita/help/C/html/tac_suppose.html [new file with mode: 0644]
matita/matita/help/C/html/tac_thatisequivalentto.html [new file with mode: 0644]
matita/matita/help/C/html/tac_thesisbecomes.html [new file with mode: 0644]
matita/matita/help/C/html/tac_weneedtoprove.html [new file with mode: 0644]
matita/matita/help/C/html/tac_weproceedbycases.html [new file with mode: 0644]
matita/matita/help/C/html/tac_weproceedbyinduction.html [new file with mode: 0644]
matita/matita/help/C/html/tac_whd.html [new file with mode: 0644]
matita/matita/help/C/html/tacticals.html [new file with mode: 0644]
matita/matita/help/C/html/tacticargs.html [new file with mode: 0644]
matita/matita/help/C/index.html [deleted file]
matita/matita/help/C/inst_from_src.html [deleted file]
matita/matita/help/C/macro_intro.html [deleted file]
matita/matita/help/C/matita.pdf
matita/matita/help/C/proofs.html [deleted file]
matita/matita/help/C/proofstatus.html [deleted file]
matita/matita/help/C/sec_commands.html [deleted file]
matita/matita/help/C/sec_declarative_tactics.html [deleted file]
matita/matita/help/C/sec_gettingstarted.html [deleted file]
matita/matita/help/C/sec_install.html [deleted file]
matita/matita/help/C/sec_intro.html [deleted file]
matita/matita/help/C/sec_license.html [deleted file]
matita/matita/help/C/sec_tacticals.html [deleted file]
matita/matita/help/C/sec_tactics.html [deleted file]
matita/matita/help/C/sec_terms.html [deleted file]
matita/matita/help/C/sec_usernotation.html [deleted file]
matita/matita/help/C/tac_andelim.html [deleted file]
matita/matita/help/C/tac_apply.html [deleted file]
matita/matita/help/C/tac_applyS.html [deleted file]
matita/matita/help/C/tac_assume.html [deleted file]
matita/matita/help/C/tac_assumption.html [deleted file]
matita/matita/help/C/tac_auto.html [deleted file]
matita/matita/help/C/tac_bydone.html [deleted file]
matita/matita/help/C/tac_byinduction.html [deleted file]
matita/matita/help/C/tac_bytermweproved.html [deleted file]
matita/matita/help/C/tac_case.html [deleted file]
matita/matita/help/C/tac_cases.html [deleted file]
matita/matita/help/C/tac_change.html [deleted file]
matita/matita/help/C/tac_clear.html [deleted file]
matita/matita/help/C/tac_conclude.html [deleted file]
matita/matita/help/C/tac_constructor.html [deleted file]
matita/matita/help/C/tac_cut.html [deleted file]
matita/matita/help/C/tac_decompose.html [deleted file]
matita/matita/help/C/tac_destruct.html [deleted file]
matita/matita/help/C/tac_elim.html [deleted file]
matita/matita/help/C/tac_existselim.html [deleted file]
matita/matita/help/C/tac_generalize.html [deleted file]
matita/matita/help/C/tac_intro.html [deleted file]
matita/matita/help/C/tac_intro_clear.html [deleted file]
matita/matita/help/C/tac_inversion.html [deleted file]
matita/matita/help/C/tac_lapply.html [deleted file]
matita/matita/help/C/tac_let.html [deleted file]
matita/matita/help/C/tac_letin.html [deleted file]
matita/matita/help/C/tac_normalize.html [deleted file]
matita/matita/help/C/tac_obtain.html [deleted file]
matita/matita/help/C/tac_rewrite.html [deleted file]
matita/matita/help/C/tac_rewrite_step.html [deleted file]
matita/matita/help/C/tac_suppose.html [deleted file]
matita/matita/help/C/tac_thatisequivalentto.html [deleted file]
matita/matita/help/C/tac_thesisbecomes.html [deleted file]
matita/matita/help/C/tac_weneedtoprove.html [deleted file]
matita/matita/help/C/tac_weproceedbycases.html [deleted file]
matita/matita/help/C/tac_weproceedbyinduction.html [deleted file]
matita/matita/help/C/tac_whd.html [deleted file]
matita/matita/help/C/tacticals.html [deleted file]
matita/matita/help/C/tacticargs.html [deleted file]