33 Commits

Author	SHA1	Message	Date
Claude Marche	e991d73789	update headers	2025-06-04 10:51:30 +02:00
Guillaume Melquiond	8a86d9ac62	Update copyright years.	2024-12-07 09:01:55 +01:00
Guillaume Melquiond	79738ae6a4	Update headers.	2023-03-07 09:58:45 +01:00
Guillaume Melquiond	3effda5be1	Restore warning 70.	2023-03-07 08:15:34 +01:00
Guillaume Melquiond	17c155c55a	Use Stdlib instead of Pervasives.	2022-10-19 07:27:02 +02:00
Guillaume Melquiond	53926bbbf5	Update headers.	2022-04-26 16:33:42 +02:00
Guillaume Melquiond	1fc6be8459	Update headers.	2021-03-13 07:55:14 +01:00
Guillaume Melquiond	0070b9408d	Update headers.	2020-03-17 09:52:33 +01:00
Guillaume Melquiond	7d253a8c76	Replace Str by Re.Str. (Fixes #381)	2019-11-12 14:57:17 +01:00
Guillaume Melquiond	abf9c043cf	Update headers.	2019-02-11 15:35:11 +01:00
Guillaume Melquiond	6b7621bfd5	Avoid using the effectful str_formatter whenever possible.	2018-05-31 15:22:57 +02:00
Guillaume Melquiond	b24a340f8f	Merge branch 'new_ide'	2018-01-17 18:24:54 +01:00
Guillaume Melquiond	b663374c2b	Version 0.88.3	2018-01-11 14:52:31 +01:00
Guillaume Melquiond	1a748647e0	Remove incorrect ocamldoc comments.	2017-05-17 10:44:19 +02:00
Guillaume Melquiond	4822694f3b	Merge branch 'master' into new_system	2017-04-14 17:45:25 +02:00
Claude Marche	216f2ecd71	update header for year 2017	2017-04-12 14:17:56 +02:00
Andrei Paskevich	d747d92398	headers 2016	2016-03-15 11:22:08 +01:00
Andrei Paskevich	a8911534ae	headers 2016	2016-03-15 11:19:08 +01:00
Andrei Paskevich	578c2fcad0	respect English punctuation	2016-03-08 17:20:26 +01:00
Claude Marché	8878c68811	fix a few more Ocaml 4.02 warnings	2015-04-21 08:23:30 +02:00
Andrei Paskevich	2605aec2c4	restore the beauty of headers :)	2015-03-20 11:08:03 +01:00
Claude Marche	dbc424b608	updated headers for 2015, new headers in .v files	2015-03-19 12:59:44 +01:00
Jean-Christophe Filliatre	87e4e470a5	headers for 2014	2014-03-14 13:45:12 +01:00
Andrei Paskevich	f331c9439a	Hypothesis_selection: fix dynamic relevance test (tentatively)	2014-01-22 18:07:26 +01:00
Guillaume Melquiond	e09ec78a75	Avoid dangerous construct.	2013-12-03 17:20:06 +01:00