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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Sat, 10 Jun 2006 16:20:16 +0000 (16:20 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Sat, 10 Jun 2006 16:20:16 +0000 (16:20 +0000)
commit	f64e7e9e24f63a926191f08c6e36ef6763718127
tree	441d280db65c25cac4a0dff79539b71a7dc450bc	tree \| snapshot
parent	7e374b23b0990d58217467b73e518e59781cb67d	commit \| diff

manual regenerated

58 files changed:

helm/www/matita/docs/manual/WrtCoq.html		diff \| blob \| history
helm/www/matita/docs/manual/authoring.html		diff \| blob \| history
helm/www/matita/docs/manual/axiom_definition_declaration.html		diff \| blob \| history
helm/www/matita/docs/manual/cicbrowser.html		diff \| blob \| history
helm/www/matita/docs/manual/docbook.css	[new file with mode: 0644]	blob
helm/www/matita/docs/manual/index.html		diff \| blob \| history
helm/www/matita/docs/manual/proofs.html		diff \| blob \| history
helm/www/matita/docs/manual/sec_commands.html		diff \| blob \| history
helm/www/matita/docs/manual/sec_gettingstarted.html		diff \| blob \| history
helm/www/matita/docs/manual/sec_install.html		diff \| blob \| history
helm/www/matita/docs/manual/sec_intro.html		diff \| blob \| history
helm/www/matita/docs/manual/sec_license.html		diff \| blob \| history
helm/www/matita/docs/manual/sec_tacticals.html		diff \| blob \| history
helm/www/matita/docs/manual/sec_tactics.html		diff \| blob \| history
helm/www/matita/docs/manual/sec_terms.html		diff \| blob \| history
helm/www/matita/docs/manual/sec_usernotation.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_apply.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_assumption.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_auto.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_change.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_clear.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_clearbody.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_constructor.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_contradiction.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_cut.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_decompose.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_discriminate.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_elim.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_elimType.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_exact.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_exists.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_fail.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_fold.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_fourier.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_fwd.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_generalize.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_id.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_injection.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_intro.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_intros.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_inversion.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_lapply.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_left.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_letin.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_normalize.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_paramodulation.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_reduce.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_reflexivity.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_replace.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_rewrite.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_right.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_ring.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_simplify.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_split.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_symmetry.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_transitivity.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_unfold.html		diff \| blob \| history
helm/www/matita/docs/manual/tac_whd.html		diff \| blob \| history

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

RSS Atom