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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 15 Apr 2009 18:48:07 +0000 (18:48 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 15 Apr 2009 18:48:07 +0000 (18:48 +0000)
commit	4dc47c9675ffd5fa50296ffaa9b5997501518c98
tree	3bd1cb9bf9b5b8f3898086ff4d37cd261ba1382f	tree \| snapshot
parent	ffdd3ddd6ce10a5fa0729ab407647bd46c44b9d8	commit \| diff

- transcript: bugfix
- library: we removed most uri's. two still remain :(

47 files changed:

helm/software/components/binaries/transcript/engine.ml		diff \| blob \| history
helm/software/components/binaries/transcript/grafiteParser.mly		diff \| blob \| history
helm/software/matita/contribs/procedural/Makefile.common		diff \| blob \| history
helm/software/matita/contribs/procedural/library/library.conf.xml		diff \| blob \| history
helm/software/matita/library/Q/frac.ma		diff \| blob \| history
helm/software/matita/library/Q/inv.ma		diff \| blob \| history
helm/software/matita/library/Q/q.ma		diff \| blob \| history
helm/software/matita/library/Q/q/qtimes.ma		diff \| blob \| history
helm/software/matita/library/Z/plus.ma		diff \| blob \| history
helm/software/matita/library/Z/sigma_p.ma		diff \| blob \| history
helm/software/matita/library/Z/times.ma		diff \| blob \| history
helm/software/matita/library/algebra/finite_groups.ma		diff \| blob \| history
helm/software/matita/library/algebra/groups.ma		diff \| blob \| history
helm/software/matita/library/dama/russell_support.ma		diff \| blob \| history
helm/software/matita/library/dama/sequence.ma		diff \| blob \| history
helm/software/matita/library/datatypes/bool.ma		diff \| blob \| history
helm/software/matita/library/datatypes/constructors.ma		diff \| blob \| history
helm/software/matita/library/decidable_kit/eqtype.ma		diff \| blob \| history
helm/software/matita/library/demo/power_derivative.ma		diff \| blob \| history
helm/software/matita/library/demo/realisability.ma		diff \| blob \| history
helm/software/matita/library/depends		diff \| blob \| history
helm/software/matita/library/didactic/exercises/duality.ma		diff \| blob \| history
helm/software/matita/library/didactic/exercises/natural_deduction.ma		diff \| blob \| history
helm/software/matita/library/didactic/exercises/natural_deduction1.ma		diff \| blob \| history
helm/software/matita/library/didactic/exercises/natural_deduction_fst_order.ma		diff \| blob \| history
helm/software/matita/library/didactic/exercises/natural_deduction_theories.ma		diff \| blob \| history
helm/software/matita/library/didactic/exercises/shannon.ma		diff \| blob \| history
helm/software/matita/library/didactic/exercises/substitution.ma		diff \| blob \| history
helm/software/matita/library/didactic/support/natural_deduction.ma		diff \| blob \| history
helm/software/matita/library/higher_order_defs/functions.ma		diff \| blob \| history
helm/software/matita/library/list/list.ma		diff \| blob \| history
helm/software/matita/library/logic/connectives.ma		diff \| blob \| history
helm/software/matita/library/logic/equality.ma		diff \| blob \| history
helm/software/matita/library/nat/chebyshev.ma		diff \| blob \| history
helm/software/matita/library/nat/congruence.ma		diff \| blob \| history
helm/software/matita/library/nat/div_and_mod.ma		diff \| blob \| history
helm/software/matita/library/nat/euler_theorem.ma		diff \| blob \| history
helm/software/matita/library/nat/exp.ma		diff \| blob \| history
helm/software/matita/library/nat/factorial.ma		diff \| blob \| history
helm/software/matita/library/nat/minus.ma		diff \| blob \| history
helm/software/matita/library/nat/nat.ma		diff \| blob \| history
helm/software/matita/library/nat/orders.ma		diff \| blob \| history
helm/software/matita/library/nat/permutation.ma		diff \| blob \| history
helm/software/matita/library/nat/plus.ma		diff \| blob \| history
helm/software/matita/library/nat/primes.ma		diff \| blob \| history
helm/software/matita/library/nat/times.ma		diff \| blob \| history
helm/software/matita/library/nat/totient1.ma		diff \| blob \| history

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

RSS Atom