]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2601d0c) | patch
new version of J3a submitted to JFR
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 7 Aug 2015 12:28:18 +0000 (12:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 7 Aug 2015 12:28:18 +0000 (12:28 +0000)
commitb7168bf5d5260960a5600093c4b5024e538d8583
tree928b1db0aec004824be27fd6f9610d7ea3f7906atree | snapshot
parent2601d0c1a860fdd08c4c1d71473917aa85eeb63acommit | diff
new version of J3a submitted to JFR
16 files changed:
helm/www/lambdadelta/BTM.html diff | blob | history
helm/www/lambdadelta/apps_2.html diff | blob | history
helm/www/lambdadelta/basic_1.html diff | blob | history
helm/www/lambdadelta/basic_2.html diff | blob | history
helm/www/lambdadelta/documentation.html diff | blob | history
helm/www/lambdadelta/download/gda.pdf diff | blob | history
helm/www/lambdadelta/download/lambdadelta.bib diff | blob | history
helm/www/lambdadelta/download/lambdadelta.txt diff | blob | history
helm/www/lambdadelta/ground_1.html diff | blob | history
helm/www/lambdadelta/ground_2.html diff | blob | history
helm/www/lambdadelta/implementation.html diff | blob | history
helm/www/lambdadelta/index.html diff | blob | history
helm/www/lambdadelta/news.html diff | blob | history
helm/www/lambdadelta/specification.html diff | blob | history
helm/www/lambdadelta/web/home/documentation.ldw.xml diff | blob | history
helm/www/lambdadelta/web/home/documentation_3.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.