index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
Commit message (
Expand
)
Author
Age
...
|
|
|
*
Adding a function to escape strings with non-utf8 characters.
Hugo Herbelin
2017-09-13
|
|
_
|
/
|
/
|
|
|
*
|
Adding function to be typically used to pass values from an OCaml "when" clause.
Hugo Herbelin
2017-09-12
|
/
/
*
|
Merge PR #987: In Array.smartmap, read and write from same array
Maxime Dénès
2017-09-11
|
\
\
|
|
/
|
/
|
*
|
Making detyping potentially lazy.
Pierre-Marie Pédrot
2017-09-04
*
|
Merge PR #980: Adding combinators + a canonical renaming in List, Option, Name
Maxime Dénès
2017-08-31
|
\
\
*
\
\
Merge PR #989: Prevent overallocation in Array.map_to_list and remove custom ...
Maxime Dénès
2017-08-31
|
\
\
\
*
\
\
\
Merge PR #773: [flags] Remove XML output flag.
Maxime Dénès
2017-08-29
|
\
\
\
\
|
|
|
*
|
Canonically renaming fold_map into fold_left_map in library Option.
Hugo Herbelin
2017-08-29
|
|
|
*
|
Canonically renaming fold_map into fold_left_map in library Array.
Hugo Herbelin
2017-08-29
|
|
|
*
|
Adding combinators + a canonical renaming in cList.ml.
Hugo Herbelin
2017-08-29
|
|
_
|
/
/
|
/
|
|
|
|
|
|
*
also in Fun1.smartmap, read, write from same array
Paul Steckler
2017-08-22
|
|
*
|
Prevent overallocation in Array.map_to_list and remove custom implementation ...
Guillaume Melquiond
2017-08-22
|
|
/
/
|
/
|
|
|
|
*
read, write from same array
Paul Steckler
2017-08-21
|
|
/
|
/
|
*
|
Merge PR #490: A possible fix for #5391 (command line tools do not accept tra...
Maxime Dénès
2017-08-17
|
\
\
*
\
\
Merge PR #864: Some cleanups after cumulativity for inductive types
Maxime Dénès
2017-08-16
|
\
\
\
|
|
*
|
Removing trailing "/" and "\" in directory names only on win32.
Hugo Herbelin
2017-08-15
|
|
|
*
[flags] Remove XML output flag.
Emilio Jesus Gallego Arias
2017-08-01
|
|
_
|
/
|
/
|
|
|
*
|
Change the option for cumulativity
Amin Timany
2017-07-31
*
|
|
Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t instead
Maxime Dénès
2017-07-31
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
deprecate Pp.std_ppcmds type alias
Matej Košík
2017-07-27
|
|
/
*
|
Merge PR #902: Only perform profile initialization and printing when the flag...
Maxime Dénès
2017-07-26
|
\
\
*
|
|
Adding a V8.7 compatibility version number.
Hugo Herbelin
2017-07-21
|
|
/
|
/
|
*
|
PMP sold us a Timeout on Windows with 1s resolution. Trying to improve it.
Maxime Dénès
2017-07-21
*
|
coq_makefile: use System.exists_dir for better portability
Enrico Tassi
2017-07-20
*
|
Windows: Sys.is_dir "foo/" always says no (so we strip trailing slash)
Enrico Tassi
2017-07-20
|
*
Also a less intrusive Profile.init_profile.
Hugo Herbelin
2017-07-20
|
*
A less intrusive Profile.close_profile.
Hugo Herbelin
2017-07-20
*
|
Merge PR #898: [pp] Fix bugs 5651 [incorrect thunk in pretty printer]
Maxime Dénès
2017-07-20
|
\
\
*
\
\
Merge PR #869: Enforce alternating separators in typeclass debug output
Maxime Dénès
2017-07-20
|
\
\
\
|
|
_
|
/
|
/
|
|
|
|
*
[pp] Fix bugs 5651 [incorrect thunk in pretty printer]
Emilio Jesus Gallego Arias
2017-07-19
|
|
/
|
/
|
*
|
Merge PR #862: Adding support for bindings tags to explicit prefix/suffix rat...
Maxime Dénès
2017-07-17
|
\
\
|
|
*
format pairs of items for pr_depth to get alternating separators
Paul Steckler
2017-07-12
|
*
|
Adding support for bindings tags to explicit prefix/suffix rather than colors.
Hugo Herbelin
2017-07-08
|
|
/
*
/
use Int.equal instead of polymorphic =
Paul Steckler
2017-07-05
|
/
*
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-07-04
|
\
*
|
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
|
*
Fix bug 5392: Warnings defined in plugins are considered unknown
Maxime Dénès
2017-06-23
*
|
Merge PR#613: Cumulativity for inductive types
Maxime Dénès
2017-06-19
|
\
\
*
|
|
Fix typo in comment.
Maxime Dénès
2017-06-19
|
*
|
Fix bugs and add an option for cumulativity
Amin Timany
2017-06-16
|
/
/
*
|
Merge PR#375: Deprecation
Maxime Dénès
2017-06-15
|
\
\
*
\
\
Merge PR#739: completing a sentence in a comment
Maxime Dénès
2017-06-14
|
\
\
\
|
|
*
|
Remove support for Coq 8.4.
Guillaume Melquiond
2017-06-14
|
|
*
|
Remove support for Coq 8.3.
Guillaume Melquiond
2017-06-14
|
|
*
|
Remove support for Coq 8.2.
Guillaume Melquiond
2017-06-14
|
|
*
|
Add a version to be used when parsing compatibility notations mentioning old ...
Guillaume Melquiond
2017-06-14
|
|
/
/
|
/
|
|
*
|
|
Add support for "-bypass-API" argument of "coq_makefile"
Matej Košík
2017-06-12
|
*
|
completing a sentence in a comment
Matej Košík
2017-06-07
*
|
|
Put all plugins behind an "API".
Matej Kosik
2017-06-07
|
/
/
*
|
Merge PR#728: A few typos.
Maxime Dénès
2017-06-06
|
\
\
[prev]
[next]