]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48960c1) | patch
λδ-2B and λδ-ground repackaged for publication
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 8 Dec 2020 18:00:50 +0000 (19:00 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 8 Dec 2020 18:00:50 +0000 (19:00 +0100)
commit3bc50da0628f7ff190c7d5ba7c3b96a7706eb823
tree596f42ee48ee6c7ffdcf2325c748014cd36203b7tree | snapshot
parent48960c13bc55f37499872feb426ed2c5da4333f0commit | diff
λδ-2B and λδ-ground repackaged for publication

+ web site update
helm/www/lambdadelta/Makefile diff | blob | history
helm/www/lambdadelta/download/lambdadelta_2B.tar.bz2 diff | blob | history
helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2 diff | blob | history
helm/www/lambdadelta/web/home/documentation.ldw.xml diff | blob | history
helm/www/lambdadelta/web/home/home.ldw.xml diff | blob | history
helm/www/lambdadelta/web/home/specification.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.