]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae88c7c) | patch
Manual(s) fixed and committed to avoid rebuilding them in dune
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Jan 2023 16:32:48 +0000 (17:32 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Jan 2023 16:32:48 +0000 (17:32 +0100)
commit0bd2689daf20b6252d547144412c004290e9201c
tree0558141a81526766fa4dcd8be5a5e7c1183700f5tree | snapshot
parentae88c7c1481ac9ddf5d55e2144b6db418a25fdd1commit | diff
Manual(s) fixed and committed to avoid rebuilding them in dune

- fixed a bug in the XSLT that used wrong linkends
- the HTML and PDF files are now committed to the repository

Note: there is a now old (4 years!) but in yelp with links to other
pages in XMLDOCs. Not my fault, but most hyperlinks are broken.
73 files changed:
matita/matita/help/C/WrtCoq.html [new file with mode: 0644] blob
matita/matita/help/C/authoring.html [new file with mode: 0644] blob
matita/matita/help/C/axiom_definition_declaration.html [new file with mode: 0644] blob
matita/matita/help/C/ch05s02.html [new file with mode: 0644] blob
matita/matita/help/C/cicbrowser.html [new file with mode: 0644] blob
matita/matita/help/C/command_check.html [new file with mode: 0644] blob
matita/matita/help/C/command_coercion.html [new file with mode: 0644] blob
matita/matita/help/C/command_include.html [new file with mode: 0644] blob
matita/matita/help/C/command_include_alias.html [new file with mode: 0644] blob
matita/matita/help/C/command_qed.html [new file with mode: 0644] blob
matita/matita/help/C/command_qed_minus.html [new file with mode: 0644] blob
matita/matita/help/C/command_unification_hint.html [new file with mode: 0644] blob
matita/matita/help/C/command_universe_constraints.html [new file with mode: 0644] blob
matita/matita/help/C/declarative_tactics_quickref.xml diff | blob | history
matita/matita/help/C/index.html [new file with mode: 0644] blob
matita/matita/help/C/inst_from_src.html [new file with mode: 0644] blob
matita/matita/help/C/macro_intro.html [new file with mode: 0644] blob
matita/matita/help/C/matita.pdf [new file with mode: 0644] blob
matita/matita/help/C/proofs.html [new file with mode: 0644] blob
matita/matita/help/C/proofstatus.html [new file with mode: 0644] blob
matita/matita/help/C/sec_commands.html [new file with mode: 0644] blob
matita/matita/help/C/sec_declarative_tactics.html [new file with mode: 0644] blob
matita/matita/help/C/sec_declarative_tactics.xml diff | blob | history
matita/matita/help/C/sec_gettingstarted.html [new file with mode: 0644] blob
matita/matita/help/C/sec_install.html [new file with mode: 0644] blob
matita/matita/help/C/sec_intro.html [new file with mode: 0644] blob
matita/matita/help/C/sec_license.html [new file with mode: 0644] blob
matita/matita/help/C/sec_tacticals.html [new file with mode: 0644] blob
matita/matita/help/C/sec_tactics.html [new file with mode: 0644] blob
matita/matita/help/C/sec_terms.html [new file with mode: 0644] blob
matita/matita/help/C/sec_terms.xml diff | blob | history
matita/matita/help/C/sec_usernotation.html [new file with mode: 0644] blob
matita/matita/help/C/tac_andelim.html [new file with mode: 0644] blob
matita/matita/help/C/tac_apply.html [new file with mode: 0644] blob
matita/matita/help/C/tac_applyS.html [new file with mode: 0644] blob
matita/matita/help/C/tac_assume.html [new file with mode: 0644] blob
matita/matita/help/C/tac_assumption.html [new file with mode: 0644] blob
matita/matita/help/C/tac_auto.html [new file with mode: 0644] blob
matita/matita/help/C/tac_bydone.html [new file with mode: 0644] blob
matita/matita/help/C/tac_byinduction.html [new file with mode: 0644] blob
matita/matita/help/C/tac_bytermweproved.html [new file with mode: 0644] blob
matita/matita/help/C/tac_case.html [new file with mode: 0644] blob
matita/matita/help/C/tac_cases.html [new file with mode: 0644] blob
matita/matita/help/C/tac_change.html [new file with mode: 0644] blob
matita/matita/help/C/tac_clear.html [new file with mode: 0644] blob
matita/matita/help/C/tac_conclude.html [new file with mode: 0644] blob
matita/matita/help/C/tac_constructor.html [new file with mode: 0644] blob
matita/matita/help/C/tac_cut.html [new file with mode: 0644] blob
matita/matita/help/C/tac_decompose.html [new file with mode: 0644] blob
matita/matita/help/C/tac_destruct.html [new file with mode: 0644] blob
matita/matita/help/C/tac_elim.html [new file with mode: 0644] blob
matita/matita/help/C/tac_existselim.html [new file with mode: 0644] blob
matita/matita/help/C/tac_generalize.html [new file with mode: 0644] blob
matita/matita/help/C/tac_intro.html [new file with mode: 0644] blob
matita/matita/help/C/tac_intro_clear.html [new file with mode: 0644] blob
matita/matita/help/C/tac_inversion.html [new file with mode: 0644] blob
matita/matita/help/C/tac_lapply.html [new file with mode: 0644] blob
matita/matita/help/C/tac_let.html [new file with mode: 0644] blob
matita/matita/help/C/tac_letin.html [new file with mode: 0644] blob
matita/matita/help/C/tac_normalize.html [new file with mode: 0644] blob
matita/matita/help/C/tac_obtain.html [new file with mode: 0644] blob
matita/matita/help/C/tac_rewrite.html [new file with mode: 0644] blob
matita/matita/help/C/tac_rewrite_step.html [new file with mode: 0644] blob
matita/matita/help/C/tac_suppose.html [new file with mode: 0644] blob
matita/matita/help/C/tac_thatisequivalentto.html [new file with mode: 0644] blob
matita/matita/help/C/tac_thesisbecomes.html [new file with mode: 0644] blob
matita/matita/help/C/tac_weneedtoprove.html [new file with mode: 0644] blob
matita/matita/help/C/tac_weproceedbycases.html [new file with mode: 0644] blob
matita/matita/help/C/tac_weproceedbyinduction.html [new file with mode: 0644] blob
matita/matita/help/C/tac_whd.html [new file with mode: 0644] blob
matita/matita/help/C/tacticals.html [new file with mode: 0644] blob
matita/matita/help/C/tacticargs.html [new file with mode: 0644] blob
matita/matita/help/C/xsl/tactic_quickref.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.