matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 3 Jan 2023 17:27:13 +0000 (18:27 +0100)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 3 Jan 2023 17:27:13 +0000 (18:27 +0100)
commit	87bef7804f0856b8ef7593d7512cecda2f36773f
tree	ab418e72c6d1b72f560c49f59c2708be7c7ae2a9	tree \| snapshot
parent	7f56b88d499cebba2646adf6e8f28cdf2b215a44	commit \| diff

Install into doc the PDF and HTML manuals

152 files changed:

matita/matita.install		diff \| blob \| history
matita/matita/help/C/Makefile		diff \| blob \| history
matita/matita/help/C/WrtCoq.html	[deleted file]	blob \| history
matita/matita/help/C/authoring.html	[deleted file]	blob \| history
matita/matita/help/C/axiom_definition_declaration.html	[deleted file]	blob \| history
matita/matita/help/C/ch05s02.html	[deleted file]	blob \| history
matita/matita/help/C/cicbrowser.html	[deleted file]	blob \| history
matita/matita/help/C/command_check.html	[deleted file]	blob \| history
matita/matita/help/C/command_coercion.html	[deleted file]	blob \| history
matita/matita/help/C/command_include.html	[deleted file]	blob \| history
matita/matita/help/C/command_include_alias.html	[deleted file]	blob \| history
matita/matita/help/C/command_qed.html	[deleted file]	blob \| history
matita/matita/help/C/command_qed_minus.html	[deleted file]	blob \| history
matita/matita/help/C/command_unification_hint.html	[deleted file]	blob \| history
matita/matita/help/C/command_universe_constraints.html	[deleted file]	blob \| history
matita/matita/help/C/dune	[new file with mode: 0644]	blob
matita/matita/help/C/html/WrtCoq.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/authoring.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/axiom_definition_declaration.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/ch05s02.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/cicbrowser.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/command_check.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/command_coercion.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/command_include.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/command_include_alias.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/command_qed.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/command_qed_minus.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/command_unification_hint.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/command_universe_constraints.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/docbook.css	[new file with mode: 0644]	blob
matita/matita/help/C/html/figures/database.dia	[new file with mode: 0644]	blob
matita/matita/help/C/html/figures/database.png	[new file with mode: 0644]	blob
matita/matita/help/C/html/figures/matita.png	[new file with mode: 0644]	blob
matita/matita/help/C/html/figures/vbox1.png	[new file with mode: 0644]	blob
matita/matita/help/C/html/figures/vbox2.png	[new file with mode: 0644]	blob
matita/matita/help/C/html/figures/vbox3.png	[new file with mode: 0644]	blob
matita/matita/help/C/html/figures/vbox35.png	[new file with mode: 0644]	blob
matita/matita/help/C/html/figures/vbox4.png	[new file with mode: 0644]	blob
matita/matita/help/C/html/figures/vbox5.png	[new file with mode: 0644]	blob
matita/matita/help/C/html/figures/vbox6.png	[new file with mode: 0644]	blob
matita/matita/help/C/html/figures/vbox7.png	[new file with mode: 0644]	blob
matita/matita/help/C/html/index.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/inst_from_src.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/macro_intro.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/proofs.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/proofstatus.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/sec_commands.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/sec_declarative_tactics.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/sec_gettingstarted.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/sec_install.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/sec_intro.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/sec_license.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/sec_tacticals.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/sec_tactics.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/sec_terms.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/sec_usernotation.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_andelim.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_apply.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_applyS.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_assume.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_assumption.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_auto.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_bydone.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_byinduction.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_bytermweproved.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_case.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_cases.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_change.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_clear.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_conclude.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_constructor.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_cut.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_decompose.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_destruct.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_elim.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_existselim.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_generalize.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_intro.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_intro_clear.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_inversion.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_lapply.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_let.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_letin.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_normalize.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_obtain.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_rewrite.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_rewrite_step.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_suppose.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_thatisequivalentto.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_thesisbecomes.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_weneedtoprove.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_weproceedbycases.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_weproceedbyinduction.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tac_whd.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tacticals.html	[new file with mode: 0644]	blob
matita/matita/help/C/html/tacticargs.html	[new file with mode: 0644]	blob
matita/matita/help/C/index.html	[deleted file]	blob \| history
matita/matita/help/C/inst_from_src.html	[deleted file]	blob \| history
matita/matita/help/C/macro_intro.html	[deleted file]	blob \| history
matita/matita/help/C/matita.pdf		diff \| blob \| history
matita/matita/help/C/proofs.html	[deleted file]	blob \| history
matita/matita/help/C/proofstatus.html	[deleted file]	blob \| history
matita/matita/help/C/sec_commands.html	[deleted file]	blob \| history
matita/matita/help/C/sec_declarative_tactics.html	[deleted file]	blob \| history
matita/matita/help/C/sec_gettingstarted.html	[deleted file]	blob \| history
matita/matita/help/C/sec_install.html	[deleted file]	blob \| history
matita/matita/help/C/sec_intro.html	[deleted file]	blob \| history
matita/matita/help/C/sec_license.html	[deleted file]	blob \| history
matita/matita/help/C/sec_tacticals.html	[deleted file]	blob \| history
matita/matita/help/C/sec_tactics.html	[deleted file]	blob \| history
matita/matita/help/C/sec_terms.html	[deleted file]	blob \| history
matita/matita/help/C/sec_usernotation.html	[deleted file]	blob \| history
matita/matita/help/C/tac_andelim.html	[deleted file]	blob \| history
matita/matita/help/C/tac_apply.html	[deleted file]	blob \| history
matita/matita/help/C/tac_applyS.html	[deleted file]	blob \| history
matita/matita/help/C/tac_assume.html	[deleted file]	blob \| history
matita/matita/help/C/tac_assumption.html	[deleted file]	blob \| history
matita/matita/help/C/tac_auto.html	[deleted file]	blob \| history
matita/matita/help/C/tac_bydone.html	[deleted file]	blob \| history
matita/matita/help/C/tac_byinduction.html	[deleted file]	blob \| history
matita/matita/help/C/tac_bytermweproved.html	[deleted file]	blob \| history
matita/matita/help/C/tac_case.html	[deleted file]	blob \| history
matita/matita/help/C/tac_cases.html	[deleted file]	blob \| history
matita/matita/help/C/tac_change.html	[deleted file]	blob \| history
matita/matita/help/C/tac_clear.html	[deleted file]	blob \| history
matita/matita/help/C/tac_conclude.html	[deleted file]	blob \| history
matita/matita/help/C/tac_constructor.html	[deleted file]	blob \| history
matita/matita/help/C/tac_cut.html	[deleted file]	blob \| history
matita/matita/help/C/tac_decompose.html	[deleted file]	blob \| history
matita/matita/help/C/tac_destruct.html	[deleted file]	blob \| history
matita/matita/help/C/tac_elim.html	[deleted file]	blob \| history
matita/matita/help/C/tac_existselim.html	[deleted file]	blob \| history
matita/matita/help/C/tac_generalize.html	[deleted file]	blob \| history
matita/matita/help/C/tac_intro.html	[deleted file]	blob \| history
matita/matita/help/C/tac_intro_clear.html	[deleted file]	blob \| history
matita/matita/help/C/tac_inversion.html	[deleted file]	blob \| history
matita/matita/help/C/tac_lapply.html	[deleted file]	blob \| history
matita/matita/help/C/tac_let.html	[deleted file]	blob \| history
matita/matita/help/C/tac_letin.html	[deleted file]	blob \| history
matita/matita/help/C/tac_normalize.html	[deleted file]	blob \| history
matita/matita/help/C/tac_obtain.html	[deleted file]	blob \| history
matita/matita/help/C/tac_rewrite.html	[deleted file]	blob \| history
matita/matita/help/C/tac_rewrite_step.html	[deleted file]	blob \| history
matita/matita/help/C/tac_suppose.html	[deleted file]	blob \| history
matita/matita/help/C/tac_thatisequivalentto.html	[deleted file]	blob \| history
matita/matita/help/C/tac_thesisbecomes.html	[deleted file]	blob \| history
matita/matita/help/C/tac_weneedtoprove.html	[deleted file]	blob \| history
matita/matita/help/C/tac_weproceedbycases.html	[deleted file]	blob \| history
matita/matita/help/C/tac_weproceedbyinduction.html	[deleted file]	blob \| history
matita/matita/help/C/tac_whd.html	[deleted file]	blob \| history
matita/matita/help/C/tacticals.html	[deleted file]	blob \| history
matita/matita/help/C/tacticargs.html	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom