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