]> matita.cs.unibo.it Git - logicplayer.git/commit
projects / logicplayer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56eb015) | patch
New exercises.
authorwww-data <www-data@lahar.helm.cs.unibo.it>
Thu, 11 Dec 2014 12:59:39 +0000 (13:59 +0100)
committerwww-data <www-data@lahar.helm.cs.unibo.it>
Thu, 11 Dec 2014 12:59:39 +0000 (13:59 +0100)
commit109b9ca4a6878b9ed265ab6eec413883415d9e8d
treebf944f026087102e0a7bd26ca120e9dc0287adaftree | snapshot
parent56eb0153136805342711b928e8c69c37b0fe9ed9commit | diff
New exercises.
13 files changed:
public_html/esercizi/demorgan.xml diff | blob | history
public_html/esercizi/demorgan2.xml diff | blob | history
public_html/esercizi/demorgan3.xml [new file with mode: 0644] blob
public_html/esercizi/demorgan4.xml [new file with mode: 0644] blob
public_html/esercizi/em.xml [new file with mode: 0644] blob
public_html/esercizi/ex1-1.xml [new file with mode: 0644] blob
public_html/esercizi/ex1-2.xml [new file with mode: 0644] blob
public_html/esercizi/ex1-3.xml [new file with mode: 0644] blob
public_html/esercizi/ex1-4.xml [new file with mode: 0644] blob
public_html/esercizi/ex1-5.xml [new file with mode: 0644] blob
public_html/esercizi/ex1-6.xml [new file with mode: 0644] blob
public_html/esercizi/ex1-7.xml [new file with mode: 0644] blob
server/com/company/esercizi.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.