Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge PR #773: [flags] Remove XML output flag. | 2017-08-29 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #966: Makefile : ignore user-contrib in various file searches | 2017-08-29 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|/ / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | * | | | | | | | | | | | | | | | coq_makefile: do not overwrite CAMLFLAGS | 2017-08-29 | ||
| | | | | | | | | | | | | * | | | | | | | | | | | | | | | coq_makefile: use dedicated variable for extra packages | 2017-08-29 | ||
| | | | | | | | | | | | | * | | | | | | | | | | | | | | | coq_makefile: build/use .cma for packed plugins | 2017-08-29 | ||
| | | | | | | | | | | | | * | | | | | | | | | | | | | | | coq_makefile: test using findlib's package | 2017-08-29 | ||
| | | | | | | | | | | | | * | | | | | | | | | | | | | | | test-suite: depend on byte compilation too | 2017-08-29 | ||
| |_|_|_|_|_|_|_|_|_|_|_|/ / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | ||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge PR #985: Fix coqdoc test-suite target on Windows. | 2017-08-29 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | Trying to fix deployment of master on bintray, and deploy tags to github. | 2017-08-29 | ||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | Master now deploys 8.8+alpha. | 2017-08-29 | ||
| | | | | | | | | | | | | | | | | | | | | | | | * | | | | coqdoc: Support comments in verbatim output | 2017-08-29 | ||
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | * | | | | | | | | | | | | | | | | | | | Quoting notations in incompatible-level error message. | 2017-08-29 | ||
| | | | | | | | * | | | | | | | | | | | | | | | | | | | A new step of restructuration of notations. | 2017-08-29 | ||
| | | | | | | | * | | | | | | | | | | | | | | | | | | | Adding a test for #5569 (warning about skipping spaces). | 2017-08-29 | ||
| | | | | | | | * | | | | | | | | | | | | | | | | | | | Dropping former fix to bug #5469 (notation format not recognizing curly braces). | 2017-08-29 | ||
| | | | | | | | * | | | | | | | | | | | | | | | | | | | A little reorganization of notations + a fix to #5608. | 2017-08-29 | ||
| |_|_|_|_|_|_|/ / / / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | | | | | | | | * | | | | | | Canonically renaming fold_map into fold_left_map in library Name. | 2017-08-29 | ||
| | | | | | | | | | | | | | | | | | | | * | | | | | | Adapting code to renaming Option.fold_map -> Option.fold_left_map. | 2017-08-29 | ||
| | | | | | | | | | | | | | | | | | | | * | | | | | | Canonically renaming fold_map into fold_left_map in library Option. | 2017-08-29 | ||
| | | | | | | | | | | | | | | | | | | | * | | | | | | Adapting code to renaming Array.fold_map -> Array.fold_left_map. | 2017-08-29 | ||
| | | | | | | | | | | | | | | | | | | | * | | | | | | Canonically renaming fold_map into fold_left_map in library Array. | 2017-08-29 | ||
| | | | | | | | | | | | | | | | | | | | * | | | | | | Adapting code to renaming fold_map/fold_map' into fold_left_map/fold_right_map | 2017-08-29 | ||
| | | | | | | | | | | | | | | | | | | | * | | | | | | Adding combinators + a canonical renaming in cList.ml. | 2017-08-29 | ||
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | | | | * | | | | | | | | | primproj: fix bug 5245, hnf on proj with simpl never flag. | 2017-08-25 | ||
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | | | | | | | | * | | | | Don't strip the newline, don't use \r | 2017-08-24 | ||
| | | | | | | | | | | | | | | | | | | | * | | | | Swap order of "aggregating..." message and travis_fold | 2017-08-24 | ||
| | | | | | | | | | | | | | * | | | | | | | | | | [ci] [gitlab] coq-dpdgraph: Remove allow-failure | 2017-08-24 | ||
| | | | | | | | | | | | | | | | | | | | * | | | | Only display travis_fold: on travis | 2017-08-24 | ||
| | | | | | | | | | | | | | | | * | | | | | | | | Program: fix BZ#5683, missing lift when building case predicate | 2017-08-24 | ||
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | ||||
* | | | | | | | | | | | | | | | | | | | | | | | Update .mailmap file. | 2017-08-24 | ||
| | | | | | | | | | | | | | | | * | | | | | | | Update coypright dates on documentation | 2017-08-23 | ||
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | | | | * | | | | | | Fix BZ#5687: Coqtop died badly modal message box from CoqIDE. | 2017-08-23 | ||
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / / |/| | | | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | * | | | | | | | | | | use OCaml 4.03-compatible Filename functions | 2017-08-22 | ||
| | | | | | | | | | | | | | | | | | * | | | also in Fun1.smartmap, read, write from same array | 2017-08-22 | ||
| | | | | | | | | | | | | | | * | | | | | | Prevent overallocation in Array.map_to_list and remove custom implementation ... | 2017-08-22 | ||
| |_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / / |/| | | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | * | | | | | | | | | | Fix obsolete description of real numerals. | 2017-08-22 | ||
| |_|_|_|_|_|_|_|_|/ / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | | | | * | | | read, write from same array | 2017-08-21 | ||
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / |/| | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | | | | | * | Ensuring all .v files end with a newline to make "sed -i" work better on them. | 2017-08-21 | ||
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | ||||
| * | | | | | | | | | | | | | | | | Fix coqdoc URLs under Windows. | 2017-08-21 | ||
| * | | | | | | | | | | | | | | | | Extend .gitignore for coqdoc test-suite. | 2017-08-21 | ||
| * | | | | | | | | | | | | | | | | Fix coqdoc test-suite target on Windows. | 2017-08-21 | ||
|/ / / / / / / / / / / / / / / / | ||||
| | | | | | | | | * | | | | | | | use OCaml temp_file, instead of our own version | 2017-08-18 | ||
| | | | | | | | | * | | | | | | | add CHANGES entry | 2017-08-18 | ||
| | | | | | | | | * | | | | | | | move filename search to start_profiler | 2017-08-18 | ||
* | | | | | | | | | | | | | | | | Merge PR #965: Moving file primitive.ml to cPrimitive.ml to avoid conflict wi... | 2017-08-18 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #983: Correct the option for cumulativity in CHANGES | 2017-08-18 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge PR #973: Adding documentation for Printing Focused option. | 2017-08-18 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | * | | | | | | | | | | | | | | | | | Correct the option for cumulativity in CHANGES | 2017-08-18 | ||
* | | | | | | | | | | | | | | | | | | | Merge PR #801: Make Travis generate OSX packages. | 2017-08-18 | ||
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|/ / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | ||||
| | | | | | | | | | | | | * | | | | | | Don't belittle the size of the SE community | 2017-08-18 |