]>
matita.cs.unibo.it Git - fireball-separation.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
acondolu [Fri, 30 Jun 2017 12:46:12 +0000 (14:46 +0200)]
Working on Abella
acondolu [Thu, 29 Jun 2017 20:26:13 +0000 (22:26 +0200)]
Added Andrea's research proposal for Marco Polo grant
<andrea.condoluci@unibo.it> [Mon, 12 Jun 2017 20:41:31 +0000 (22:41 +0200)]
Initial commit from my pc
<andrea.condoluci@unibo.it> [Mon, 12 Jun 2017 20:28:38 +0000 (22:28 +0200)]
Copy ocaml folder from sacerdot's svn repository, rev 4907
Andrea Condoluci [Mon, 12 Jun 2017 20:17:57 +0000 (22:17 +0200)]
Initial commit
projects / fireball-separation.git / log