]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe00a22) | patch
infrastructure to browse lambdadelta_1 remotely
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 16 Jan 2015 20:00:40 +0000 (20:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 16 Jan 2015 20:00:40 +0000 (20:00 +0000)
commitb01cc7ea6a6a931e3485fde7ec78b2c216918e11
tree08c340ac7f2d6e7535071d51398f18d48c810babtree | snapshot
parentfe00a22101acb7995f8488a4434c4046bc540af0commit | diff
infrastructure to browse lambdadelta_1 remotely
helm/www/lambdadelta/Makefile diff | blob | history
helm/www/lambdadelta/etc/to_text.sh [new file with mode: 0644] blob
helm/www/lambdadelta/news.html diff | blob | history
helm/www/lambdadelta/specification.html diff | blob | history
helm/www/lambdadelta/web/home/news.ldw.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.