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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 6 Jul 2022 12:23:57 +0000 (14:23 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 6 Jul 2022 12:23:57 +0000 (14:23 +0200)
commit	306205b6853874cf485152222593b57249c6e7fa
tree	01f4a84987b084f3228e4c74aca37cc6a6f479ce	tree \| snapshot
parent	14e69a411768d60ce365547c1ffd88d9bef3cdc0	commit \| diff

partial commit in delayed_updating

+ reversing paths in component "syntax"
+ some renaming

20 files changed:

matita/matita/contribs/lambdadelta/delayed_updating/syntax/bdd_term.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/label.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_depth.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_depth_labels.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_head.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_head_depth.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_head_structure.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_height.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_height_labels.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_inner.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_labels.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_proper.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure_depth.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure_inner.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/preterm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/prototerm_constructors.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/prototerm_constructors_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/prototerm_proper_constructors.ma		diff \| blob \| history

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

RSS Atom