coq - The formal proof system

Age	Commit message (Expand)	Author
2018-06-03	Further sharing in CList.	Hugo Herbelin
2018-06-03	Cleaning, documentation, uniformisation of the Coq extension of List.	Hugo Herbelin
2018-06-03	[lib] Fix wrong deprecation annotations.	Emilio Jesus Gallego Arias
2018-05-23	Collecting Map.smart_* functions into a module Map.Smart.	Hugo Herbelin
2018-05-23	Moving Option.smart_map to Option.Smart.map.	Hugo Herbelin
2018-05-23	Collecting List.smart_* functions into a module List.Smart.	Hugo Herbelin
2018-05-23	Exporting Fun1 within Array so that Array.Fun1 and not only CArray.Fun1 works.	Hugo Herbelin
2018-05-23	Collecting Array.smart_* functions into a module Array.Smart.	Hugo Herbelin
2018-05-23	Emphasizing the "smart"ness of Array.smartfoldmap{,2} in their documentation.	Hugo Herbelin
2018-05-23	CArray: adding combinators.	Hugo Herbelin
2018-05-02	Remove unused Deque files	Gaëtan Gilbert
2018-04-12	Merge PR #6972: [api] Deprecate a couple of aliases that we missed.	Maxime Dénès
2018-03-28	Adding Array.fold_left4.	Hugo Herbelin
2018-03-28	[api] Deprecate a couple of aliases that we missed.	Emilio Jesus Gallego Arias
2018-03-09	Delayed weak constraints for cumulative inductive types.	Gaëtan Gilbert
2018-03-08	Add function bind in option.ml.	Hugo Herbelin
2018-03-05	Tweak comments to fix ocamldoc errors	mrmr1993
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-02-20	When printing a notation with "match", more flexibility in matching equations.	Hugo Herbelin
2018-02-20	In printing notations with "match", reasoning up to the order of clauses.	Hugo Herbelin
2017-12-29	Adding skewed lists.	Pierre-Marie Pédrot
2017-12-23	[lib] Split auxiliary libraries into Coq-specific and general.	Emilio Jesus Gallego Arias