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 13:20:50 +0000 (13:20 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Sat, 10 Jun 2006 13:20:50 +0000 (13:20 +0000)
commit	5b99087bf1b8b8fb1086a72feb6f3fb258a402d8
tree	8ef3bf179eb91e33d7bfcacd9c7250c0be4c0515	tree \| snapshot
parent	a177d993f3857f01211f4bc1d3b45b9871ed0426	commit \| diff

first generation of manual from docbook
better Makefile

58 files changed:

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

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

RSS Atom