5 Commits

Author	SHA1	Message	Date
Vincent Laporte	431c564993	hol_light: fix build with Camlp5-6.17	2016-11-29 18:34:21 +00:00
Vincent Laporte	60a7c607d1	hol-light: fix build with camlp5-6.16	2016-05-01 16:10:09 +02:00
Vincent Laporte	9a1245280d	hol_light: add support for camlp5 > 6.12	2015-09-23 19:04:51 +02:00
Vincent Laporte	8227297567	hol_light: update from 199 to 205	2014-11-17 06:53:45 +00:00
Vincent Laporte	c260abbff8	hol_light: update to r199 ... And adds compatibility with camlp5-6.12	2014-10-01 00:44:15 +01:00