Commit graph

8 commits

Author SHA1 Message Date
Simon Cruanes
d541de5d03 re-generate oasis files; remove dep on oasis in opam 2016-03-09 10:13:30 +01:00
Simon Cruanes
adc37e48b3 version 0.14 2015-11-08 13:04:55 +01:00
Simon Cruanes
844d39c826 Merge branch 'master' into stable; version 0.13 2015-09-23 16:40:38 +02:00
Simon Cruanes
4e49e2a893 Merge branch 'master' into stable 2015-07-16 11:28:19 +02:00
Simon Cruanes
e268f2d10c Merge branch 'master' into stable for 0.10 2015-04-10 16:43:16 +02:00
Simon Cruanes
8054a9f256 version 0.9 (merge from master) 2015-02-27 14:41:09 +01:00
Simon Cruanes
0d61b48fdd merge from master 2015-01-26 20:28:53 +01:00
Simon Cruanes
a8f5c3420f merge from master for 0.7 2014-12-19 20:23:13 +01:00