loglib: publish cours-09-dinsic
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 11 Apr 2019 09:58:47 +0000 (11:58 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 11 Apr 2019 09:58:47 +0000 (11:58 +0200)
commit321ec4f4748b025f5aa26d8edfae857b31c3e0f2
tree57073a2878b6c3a85c261c225bba127cea69d8b5
parentf1563aba868e3e0bd0ac7ea82a5980b8160a10a3
loglib: publish cours-09-dinsic
teaching/1819/loglib/cours-06-catb.pdf [deleted file]
teaching/1819/loglib/cours-07-catb.pdf [new file with mode: 0644]
teaching/1819/loglib/cours-09-dinsic.pdf [new file with mode: 0644]