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:25:50 +0000 (16:25 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Sat, 10 Jun 2006 16:25:50 +0000 (16:25 +0000)
commit	223f17d088cd8bf01f9314580fc34e66256841ac
tree	e4a62a7aa7b6abb1d897747dd9551d6d0e02a55a	tree \| snapshot
parent	18ca6cec5a82241cc389bbf82742565e79d81ed8	commit \| diff

keeping the generated manual on svn is overkilling

58 files changed:

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

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

RSS Atom