]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a19551f) | 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, 14 Feb 2023 14:23:41 +0000 (15:23 +0100)
commitd29fd4947ea4551f1fa078e56ed2a21b4515536f
treef10ffb5ebd190ff5fb2bf53481000cdb8a34e743tree | snapshot
parenta19551fd50df93951d78eea4c163d434f844047ccommit | 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.