]> matita.cs.unibo.it Git - logicplayer.git/commit
projects / logicplayer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4d9dc1) | patch
New exercises.
authorwww-data <www-data@lahar.helm.cs.unibo.it>
Thu, 11 Dec 2014 18:57:08 +0000 (19:57 +0100)
committerwww-data <www-data@lahar.helm.cs.unibo.it>
Thu, 11 Dec 2014 18:57:08 +0000 (19:57 +0100)
commit1b40a620ee1d26d56070a8b324a45140222488b3
tree17c6937b89d3651d3a117e51eb1ba1a8ae71c81etree | snapshot
parentc4d9dc14fb76469e95aa775c4aa09a448e42103ecommit | diff
New exercises.
public_html/esercizi/ex2-1.xml [new file with mode: 0644] blob
public_html/esercizi/ex2-2.xml [new file with mode: 0644] blob
public_html/esercizi/ex2-3.xml [new file with mode: 0644] blob
public_html/esercizi/ex2-4.xml [new file with mode: 0644] blob
public_html/esercizi/ex2-5.xml [new file with mode: 0644] blob
public_html/esercizi/ex2-7.xml [new file with mode: 0644] blob
server/com/company/esercizi.xml diff | blob | history
server/log diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.