Commit graph

24 commits

Author SHA1 Message Date
Simon Cruanes
5ebed4e324 Merge branch 'master' into stable 2018-01-04 11:13:43 -06:00
Simon Cruanes
a91d504c23 ready for 1.5 2018-01-02 18:15:52 +01:00
Simon Cruanes
ad8a61a795 Merge branch 'master' into stable 2017-10-11 09:30:53 +02:00
Simon Cruanes
f24d983b04 Merge branch 'master' into stable for 1.3 2017-07-29 18:13:25 +02:00
Simon Cruanes
32bc0450dc Merge branch 'master' into stable for 1.2 2017-05-01 17:02:29 +02:00
Simon Cruanes
461d6309e7 version 1.1 2017-03-03 16:19:40 +01:00
Simon Cruanes
e52b847e90 Merge branch 'master' into stable for 1.0 2017-02-11 14:31:14 +01:00
Simon Cruanes
265ed02dc6 Merge branch 'master' into stable for 0.22.1 2016-12-29 10:47:40 +01:00
Simon Cruanes
9c80dba89e Merge branch 'master' into stable 2016-12-18 01:35:58 +01:00
Simon Cruanes
d84b1e1369 Merge branch 'master' into stable for 0.21 2016-11-03 16:07:17 +01:00
Simon Cruanes
88025034b6 release 0.20 2016-10-14 11:35:39 +02:00
Simon Cruanes
47978e4bba Merge branch 'master' into stable for 0.19 2016-08-22 10:01:36 +02:00
Simon Cruanes
ed2b741865 Merge branch 'master' into stable for 0.18 2016-06-14 14:13:29 +02:00
Simon Cruanes
e69ad8a6de Merge branch 'master' into stable 2016-04-22 23:42:29 +02:00
Simon Cruanes
d541de5d03 re-generate oasis files; remove dep on oasis in opam 2016-03-09 10:13:30 +01:00
Simon Cruanes
42c912fe0e Merge branch 'master' into stable for 0.15 2015-12-22 10:38:21 +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
7bacac2c98 Merge branch 'master' into stable; oasis setup; 0.11 2015-05-24 21:52:22 +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