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
*
[pp] Add anomaly header to anomaly error messages.
Emilio Jesus Gallego Arias
2017-03-22
*
[pp] Hide the internal representation of `std_ppcmds`.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] [ide] Minor cleanups in pp code.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Move terminal-specific tagging to the toplevel.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Remove special tag type and handler from Pp.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Debug feeder is not needed anymore.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Make feedback the only logging mechanism.
Emilio Jesus Gallego Arias
2017-03-21
*
[error] Move back fatal_error to toplevel
Emilio Jesus Gallego Arias
2017-03-21
*
[feedback] Allow to remove feedback listeners.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Remove redundant white spacing pp construct.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Force well-formed boxes by construction.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Force well-tagged docs by construction.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Implement n-ary glue.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Make pp public to allow serialization.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Prepare for serialization, remove opaque glue.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Remove `Pp.stras`.
Emilio Jesus Gallego Arias
2017-03-21
*
[pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`
Emilio Jesus Gallego Arias
2017-03-21
*
Merge PR#134: Enable `-safe-string`
Maxime Dénès
2017-03-21
|
\
|
*
[safe-string] lib/miscelanea
Emilio Jesus Gallego Arias
2017-03-14
|
*
[safe-string] lib/cUnix
Emilio Jesus Gallego Arias
2017-03-14
|
*
[safe_string] lib/cThread
Emilio Jesus Gallego Arias
2017-03-14
*
|
[future] Remove unused parameter greedy.
Emilio Jesus Gallego Arias
2017-03-14
|
/
*
Merge PR#189: Remove tabulation support from pretty-printing.
Maxime Dénès
2017-02-20
|
\
*
|
[unicode] Address comments in PR#314.
Emilio Jesus Gallego Arias
2017-02-15
*
|
[safe-string] Use `String.init` to build string.
Emilio Jesus Gallego Arias
2017-02-14
*
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-02-01
|
\
\
*
\
\
Merge PR#355: Remove unused feedback_content: Goals
Maxime Dénès
2017-01-30
|
\
\
\
|
|
*
\
Merge PR#383: fix #5244: set printing width ignored when given enough space
Maxime Dénès
2017-01-24
|
|
|
\
\
*
|
|
\
\
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-01-19
|
\
\
\
\
\
|
|
|
/
/
/
|
|
/
|
|
|
|
*
|
|
|
Fix race condition in STM DAG generation (in debug mode).
Maxime Dénès
2017-01-13
|
*
|
|
|
Fix broken .aux machinery.
Guillaume Melquiond
2017-01-13
*
|
|
|
|
Avoid using the deprecated Scanf.fscanf function.
Maxime Dénès
2017-01-09
*
|
|
|
|
Merge remote-tracking branch 'github/pr/351' into trunk
Maxime Dénès
2016-12-19
|
\
\
\
\
\
*
\
\
\
\
\
Merge remote-tracking branch 'github/pr/363' into trunk
Maxime Dénès
2016-12-19
|
\
\
\
\
\
\
|
|
|
|
|
*
|
[pp] Set printing width for richpp formatter (bug #5244)
Emilio Jesus Gallego Arias
2016-12-04
|
|
|
|
|
/
/
|
|
|
|
/
|
|
*
|
|
|
|
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-11-30
|
\
\
\
\
\
\
|
|
|
_
|
/
/
/
|
|
/
|
|
|
|
|
*
|
|
|
|
Fix #5183 - Two CoqIDE crash errors
Maxime Dénès
2016-11-30
|
*
|
|
|
|
Fix some documentation typos.
Guillaume Melquiond
2016-11-24
*
|
|
|
|
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-11-18
|
\
|
|
|
|
|
|
|
*
|
|
|
lib/Unicodetable: Update. This code has been generated from the latest
Yann Régis-Gianas
2016-11-16
|
*
|
|
|
|
Fix bug in warnings: -w foo was silent when foo did not exist.
Maxime Dénès
2016-11-14
|
|
|
|
*
|
Remove unused feedback_content: Goals
CJ Bell
2016-11-10
|
|
_
|
_
|
/
/
|
/
|
|
|
|
|
|
|
*
|
Complete a truncated comment
Arnaud Spiwack
2016-11-08
|
|
_
|
/
/
|
/
|
|
|
|
*
|
|
Removing a special treatment for empty lines in comments.
Hugo Herbelin
2016-11-05
|
*
|
|
Fix #4837: ./configure -local makes coqdep issue many warnings
Maxime Dénès
2016-11-04
|
*
|
|
Remove an OCaml 4.02 construct.
Maxime Dénès
2016-11-03
|
*
|
|
Fix various shortcomings of the warnings infrastructure.
Maxime Dénès
2016-11-02
*
|
|
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-10-29
|
\
|
|
|
|
*
|
|
Merge remote-tracking branch 'github/pr/319' into v8.6
Maxime Dénès
2016-10-28
|
|
\
\
\
|
*
|
|
|
STM: make ~valid state id non optional from APIs
Enrico Tassi
2016-10-26
[next]