]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c903bdd) | patch
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 11 Jun 2018 12:12:16 +0000 (14:12 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 11 Jun 2018 12:12:16 +0000 (14:12 +0200)
commit5b529743ea1196df21bd937c2c0fb2fd0bc68423
tree2df66a2abbded2132f4fe62f1606ada22516f791tree | snapshot
parentc903bdd93123e6fc2ad63a951024da80c9c28307commit | diff
update in basic_2

+ advances on nv ...
matita/matita/contribs/lambdadelta/basic_2/dynamic/nv_aaa.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/nv_fqus.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nv_fsb.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/partial.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_aaa.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_fsb.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.