index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
/
doc
Commit message (
Expand
)
Author
Age
*
Merge remote-tracking branch 'github/pr/372' into v8.6
Maxime Dénès
2016-12-02
|
\
*
\
Merge remote-tracking branch 'github/pr/368' into v8.6
Maxime Dénès
2016-12-02
|
\
\
*
\
\
Merge remote-tracking branch 'github/pr/369' into v8.6
Maxime Dénès
2016-12-02
|
\
\
\
*
\
\
\
Merge remote-tracking branch 'github/pr/371' into v8.6
Maxime Dénès
2016-12-02
|
\
\
\
\
*
|
|
|
|
Fix some documentation typos.
Guillaume Melquiond
2016-11-24
|
|
|
|
*
(v8.6) Update dev/doc/changes.txt with HintsResolveEntry changes
Jason Gross
2016-11-21
|
|
_
|
_
|
/
|
/
|
|
|
|
*
|
|
(v8.6) Update dev/doc/changes with things about mem_named_context
Jason Gross
2016-11-21
|
/
/
/
|
*
/
(v8.6) Make a note about wit_constr and Constrarg in dev/doc/changes
Jason Gross
2016-11-21
|
/
/
|
*
(v8.6) Add example in dev/doc/changes involving Tacmach.project
Jason Gross
2016-11-21
|
/
*
[doc] Mention XML protocol on changes.
Emilio Jesus Gallego Arias
2016-11-16
*
[search] Don't build intermediate lists in search.
Emilio Jesus Gallego Arias
2016-10-20
*
More on making the lexer more functional (continuing b8ae2de5 and
Hugo Herbelin
2016-10-17
*
Merge PR #237 into v8.6
Pierre-Marie Pédrot
2016-08-16
|
\
*
|
FIX: "dev/doc/changes.txt"
Matej Kosik
2016-07-05
|
*
Add a renaming of Tacexpr.TacDynamic
Jason Gross
2016-07-04
|
/
*
Mention recent renaming of files in dev/doc/changes.txt.
Maxime Dénès
2016-07-03
*
Add and document match, fix and cofix reduction flags.
Maxime Dénès
2016-07-01
*
Separate flags for fix/cofix/match reduction and clean reduction function names.
Maxime Dénès
2016-07-01
*
[doc] Update changes for feedback.
Emilio Jesus Gallego Arias
2016-06-25
*
[feedback] Add optional ?loc parameter to loggers.
Emilio Jesus Gallego Arias
2016-06-25
*
Makefile: compat5* moved in grammar/, less -I given to camlp4o
Pierre Letouzey
2016-06-21
*
Documenting API changes in dev/doc/changes.txt.
Pierre-Marie Pédrot
2016-06-09
*
Merge PR #197.
Pierre-Marie Pédrot
2016-06-09
|
\
*
|
Adding profiling developer information in dev/doc/profiling.txt.
Pierre-Marie Pédrot
2016-06-08
|
*
Add an explicit replacement rule for Refine module
Jason Gross
2016-06-08
|
/
*
Officially discontinue the experimental coq build via ocamlbuild
Pierre Letouzey
2016-06-08
*
A slight phase of documentation and uniformization of names of
Hugo Herbelin
2016-06-02
*
Merge branch 'yet-another-makefile-bigbang' into trunk
Pierre Letouzey
2016-06-01
|
\
|
*
Yet another Makefile reform : a unique phase without nasty make tricks
Pierre Letouzey
2016-06-01
*
|
Feedback cleanup
Emilio Jesus Gallego Arias
2016-05-31
|
/
*
A note concerning the "Drop" command.
Matej Kosik
2016-05-03
*
setup.txt : a guide explaining taming Emacs, Merlin, Company, Ocamldebug.
Matej Kosik
2016-05-03
*
Creating a dedicated ltac/ folder for Hightactics.
Pierre-Marie Pédrot
2016-03-21
*
Documenting changes.
Pierre-Marie Pédrot
2016-03-20
*
Documenting the change of EXTEND macros.
Pierre-Marie Pédrot
2016-03-18
*
Merge branch 'render-prehistory' of https://github.com/aspiwack/coq into aspi...
Hugo Herbelin
2016-03-09
|
\
*
|
CLEANUP: Context.{Rel,Named}.Declaration.t
Matej Kosik
2016-02-09
*
|
CLEANUP: kernel/context.ml{,i}
Matej Kosik
2016-01-11
*
|
Update history of revisions.
Hugo Herbelin
2015-12-02
*
|
Being more precise and faithful about the origin of the file reporting
Hugo Herbelin
2015-11-16
|
*
Prehistory of Coq: move the bibliographic references to a dedicated section.
Arnaud Spiwack
2015-11-11
|
*
Prehistory of Coq: justification of the plain text.
Arnaud Spiwack
2015-11-11
|
*
Prehistory of Coq: consistency.
Arnaud Spiwack
2015-11-11
|
*
Prehistory of Coq: various corrections on English.
Arnaud Spiwack
2015-11-11
|
*
Prehistory of Coq: asciidoc conversion.
Arnaud Spiwack
2015-11-11
|
/
*
Fix some typos.
Guillaume Melquiond
2015-10-13
*
Minor typo in universe polymorphism doc.
Maxime Dénès
2015-10-09
*
Updating versions history with data from Gérard.
Hugo Herbelin
2015-10-02
*
Update the history of versions with recent versions.
Hugo Herbelin
2015-10-02
*
Univs: More info for developers.
Matthieu Sozeau
2015-10-02
[next]