aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2017-10-03Merge PR #1100: Avoid looping when searching for CoqProject.Maxime Dénès
2017-10-03Merge PR #1015: Adding a function to be typically used to pass values from an...Maxime Dénès
2017-09-27Avoid looping when searching for CoqProject.Maxime Dénès
2017-09-21Improve support for "-w none" compatibility option.Guillaume Melquiond
2017-09-19coq_makefile: make sure compile flags for Coq and coq_makefile are in syncEmilio Jesus Gallego Arias
2017-09-18Reporting locations in error messages about notation formats.Hugo Herbelin
2017-09-14Using an algebraic type for distinguishing toplevel input from location in file.Hugo Herbelin
2017-09-13A possible fix for BZ#5715 (escape non-utf8 win32 file names).Hugo Herbelin
2017-09-13Complying more precisely to unicode standard.Hugo Herbelin
2017-09-13Adding a function to escape strings with non-utf8 characters.Hugo Herbelin
2017-09-12Adding function to be typically used to pass values from an OCaml "when" clause.Hugo Herbelin
2017-09-11Merge PR #987: In Array.smartmap, read and write from same arrayMaxime Dénès
2017-09-04Making detyping potentially lazy.Pierre-Marie Pédrot
2017-08-31Merge PR #980: Adding combinators + a canonical renaming in List, Option, NameMaxime Dénès
2017-08-31Merge PR #989: Prevent overallocation in Array.map_to_list and remove custom ...Maxime Dénès
2017-08-29Merge PR #773: [flags] Remove XML output flag.Maxime Dénès
2017-08-29Canonically renaming fold_map into fold_left_map in library Option.Hugo Herbelin
2017-08-29Canonically renaming fold_map into fold_left_map in library Array.Hugo Herbelin
2017-08-29Adding combinators + a canonical renaming in cList.ml.Hugo Herbelin
2017-08-22also in Fun1.smartmap, read, write from same arrayPaul Steckler
2017-08-22Prevent overallocation in Array.map_to_list and remove custom implementation ...Guillaume Melquiond
2017-08-21read, write from same arrayPaul Steckler
2017-08-17Merge PR #490: A possible fix for #5391 (command line tools do not accept tra...Maxime Dénès
2017-08-16Merge PR #864: Some cleanups after cumulativity for inductive typesMaxime Dénès
2017-08-15Removing trailing "/" and "\" in directory names only on win32.Hugo Herbelin
2017-08-01[flags] Remove XML output flag.Emilio Jesus Gallego Arias
2017-07-31Change the option for cumulativityAmin Timany
2017-07-31Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t insteadMaxime Dénès
2017-07-27deprecate Pp.std_ppcmds type aliasMatej Košík
2017-07-26Merge PR #902: Only perform profile initialization and printing when the flag...Maxime Dénès
2017-07-21Adding a V8.7 compatibility version number.Hugo Herbelin
2017-07-21PMP sold us a Timeout on Windows with 1s resolution. Trying to improve it.Maxime Dénès
2017-07-20coq_makefile: use System.exists_dir for better portabilityEnrico Tassi
2017-07-20Windows: Sys.is_dir "foo/" always says no (so we strip trailing slash)Enrico Tassi
2017-07-20Also a less intrusive Profile.init_profile.Hugo Herbelin
2017-07-20A less intrusive Profile.close_profile.Hugo Herbelin
2017-07-20Merge PR #898: [pp] Fix bugs 5651 [incorrect thunk in pretty printer]Maxime Dénès
2017-07-20Merge PR #869: Enforce alternating separators in typeclass debug outputMaxime Dénès
2017-07-19[pp] Fix bugs 5651 [incorrect thunk in pretty printer]Emilio Jesus Gallego Arias
2017-07-17Merge PR #862: Adding support for bindings tags to explicit prefix/suffix rat...Maxime Dénès
2017-07-12format pairs of items for pr_depth to get alternating separatorsPaul Steckler
2017-07-08Adding support for bindings tags to explicit prefix/suffix rather than colors.Hugo Herbelin
2017-07-05use Int.equal instead of polymorphic =Paul Steckler
2017-07-04Merge branch 'v8.6'Pierre-Marie Pédrot
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-23Fix bug 5392: Warnings defined in plugins are considered unknownMaxime Dénès
2017-06-19Merge PR#613: Cumulativity for inductive typesMaxime Dénès
2017-06-19Fix typo in comment.Maxime Dénès
2017-06-16Fix bugs and add an option for cumulativityAmin Timany
2017-06-15Merge PR#375: DeprecationMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 11:58:36 +0000