]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: feed948) | patch
Finished proposal!
authoracondolu <andrea.condoluci@unibo.it>
Fri, 30 Jun 2017 16:35:03 +0000 (18:35 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 7 Jul 2017 16:23:10 +0000 (18:23 +0200)
commit0045fc5c60a58c20b79f4613f2fe0bd2fea51a46
treec7804e4079de68d9541e8eecde248ad856bd9a57tree | snapshot
parentfeed9483b7bcbee07cb251aef50c100229a20032commit | diff
Finished proposal!
marco polo/statement.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.