]> matita.cs.unibo.it Git - fireball-separation.git/log
fireball-separation.git
7 years agoAdded new calculus
acondolu [Fri, 7 Jul 2017 16:04:21 +0000 (18:04 +0200)]
Added new calculus

7 years agoFinished proposal!
acondolu [Fri, 30 Jun 2017 16:35:03 +0000 (18:35 +0200)]
Finished proposal!

7 years agoFinished proposal?
acondolu [Fri, 30 Jun 2017 15:42:21 +0000 (17:42 +0200)]
Finished proposal?

7 years agoWorking on Abella
acondolu [Fri, 30 Jun 2017 12:46:12 +0000 (14:46 +0200)]
Working on Abella

7 years agoAdded Andrea's research proposal for Marco Polo grant
acondolu [Thu, 29 Jun 2017 20:26:13 +0000 (22:26 +0200)]
Added Andrea's research proposal for Marco Polo grant

7 years agoInitial commit from my pc
<andrea.condoluci@unibo.it> [Mon, 12 Jun 2017 20:41:31 +0000 (22:41 +0200)]
Initial commit from my pc

7 years agoCopy ocaml folder from sacerdot's svn repository, rev 4907
<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

7 years agoInitial commit
Andrea Condoluci [Mon, 12 Jun 2017 20:17:57 +0000 (22:17 +0200)]
Initial commit