]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b1b59a) | patch
\lambda\delta web site update for git
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Sat, 13 Jan 2018 19:55:24 +0000 (20:55 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Sat, 13 Jan 2018 19:55:24 +0000 (20:55 +0100)
commit528f8ea107f689d07d060e1d31ba32bf65b4e6ba
treec9be1d603300ffdbc5b3e0643f55bc7834577fb3tree | snapshot
parent9b1b59a049935f5382ed7def91b807bbf9453894commit | diff
\lambda\delta web site update for git
28 files changed:
.gitignore diff | blob | history
helm/www/lambdadelta/BTM.html [deleted file] blob | history
helm/www/lambdadelta/Makefile diff | blob | history
helm/www/lambdadelta/apps_2.html [deleted file] blob | history
helm/www/lambdadelta/basic_1.html [deleted file] blob | history
helm/www/lambdadelta/basic_2.html [deleted file] blob | history
helm/www/lambdadelta/bin/Makefile.common diff | blob | history
helm/www/lambdadelta/bin/xhtbl/Makefile diff | blob | history
helm/www/lambdadelta/core.html [deleted file] blob | history
helm/www/lambdadelta/documentation.html [deleted file] 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 [deleted file] blob | history
helm/www/lambdadelta/ground_2.html [deleted file] blob | history
helm/www/lambdadelta/home.html [deleted file] blob | history
helm/www/lambdadelta/implementation.html [deleted file] blob | history
helm/www/lambdadelta/news.html [deleted file] blob | history
helm/www/lambdadelta/osn.html [deleted file] blob | history
helm/www/lambdadelta/specification.html [deleted file] blob | history
helm/www/lambdadelta/web/home/documentation.ldw.xml diff | blob | history
helm/www/lambdadelta/web/home/documentation_1.tbl diff | blob | history
helm/www/lambdadelta/web/home/documentation_2.tbl diff | blob | history
helm/www/lambdadelta/web/home/documentation_3.tbl diff | blob | history
helm/www/lambdadelta/web/home/implementation.ldw.xml diff | blob | history
helm/www/lambdadelta/web/home/news.ldw.xml diff | blob | history
helm/www/lambdadelta/web/home/sitemap.tbl diff | blob | history
helm/www/lambdadelta/web/home/specification.ldw.xml diff | blob | history
helm/www/lambdadelta/web/home/versions.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.