]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6604a23) | patch
update in bin
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 24 Feb 2021 19:05:05 +0000 (20:05 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 24 Feb 2021 19:05:05 +0000 (20:05 +0100)
commitbaa54e5db0fb93c4242dd1b67a5018ca63206cf6
tree3c0bff5afd9d17c3ab9580e6cb8a3d7164a9c32btree | snapshot
parent6604a232815858a6c75dd25ac45abd68438077ffcommit | diff
update in bin

+ new application "recomm"
  for restyling comments in λδ source files
+ minor corrections in ground and apps_2
48 files changed:
matita/matita/contribs/lambdadelta/apps_2/functional/mf_vlift_exteq.ma diff | blob | history
matita/matita/contribs/lambdadelta/apps_2/functional/mf_vpush_exteq.ma diff | blob | history
matita/matita/contribs/lambdadelta/apps_2/models/tm_vpush.ma diff | blob | history
matita/matita/contribs/lambdadelta/bin/Makefile.common diff | blob | history
matita/matita/contribs/lambdadelta/bin/recomm/Makefile [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/bGroundCounters.mrc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/dGroundCounters.mrc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/mrc.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/mrc.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/mrcInput.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/mrcInput.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/mrcOutput.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/mrcOutput.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/mrcTypes.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recomm.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recomm.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommCheck.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommCheck.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGc.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundCounters.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcbGroundCounters.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundCounters.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundCounters.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcsAttr.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcsAttr.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcsMain.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcsMain.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcsWith.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommGcsWith.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommInput.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommInput.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommOutput.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommOutput.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommParser.mly [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommPccFor.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommPccFor.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommPcsAnd.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommPcsAnd.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommStep.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommStep.mli [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/recommTypes.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/sAttr.mrc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/sMain.mrc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/recomm/sWith.mrc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/steps/rtc_isrt.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/steps/rtc_isrt_shift.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.