index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
Commit message (
Expand
)
Author
Age
*
Ensuring that documentation of mli code works in the presence of utf-8
Hugo Herbelin
2015-12-05
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-12-03
|
\
|
*
Update history of revisions.
Hugo Herbelin
2015-12-02
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-11-20
|
\
|
|
*
MacOS package script: do not fail if link to /Applications already exists.
Maxime Dénès
2015-11-18
|
*
Being more precise and faithful about the origin of the file reporting
Hugo Herbelin
2015-11-16
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-11-15
|
\
|
|
*
MacOS package script: do not fail if directory _dmg already exists.
Maxime Dénès
2015-11-13
|
*
Script building MacOS package.
Maxime Dénès
2015-11-12
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-30
|
\
|
|
*
Fixing another instance of bug #3267 in eauto, this time in the
Hugo Herbelin
2015-10-29
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-29
|
\
|
|
*
Refine Gregory Malecha's patch on VM and universe polymorphism.
Maxime Dénès
2015-10-28
|
*
Adds support for the virtual machine to perform reduction of universe polymor...
Gregory Malecha
2015-10-28
*
|
Type-safe Egramml.grammar_prod_item.
Pierre-Marie Pédrot
2015-10-27
*
|
Pcoq entries are given a proper module.
Pierre-Marie Pédrot
2015-10-26
*
|
Adding a notion of monotonous evarmap.
Pierre-Marie Pédrot
2015-10-18
*
|
Dedicated file for universe unification context manipulation.
Pierre-Marie Pédrot
2015-10-17
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-15
|
\
|
|
*
Reverting modifications in dev/top_printers pushed mistakenly.
Pierre-Marie Pédrot
2015-10-14
|
*
Fixing perfomance issue of auto hints induced by universes.
Pierre-Marie Pédrot
2015-10-14
|
*
Fix some typos.
Guillaume Melquiond
2015-10-13
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-10
|
\
|
|
*
Code cleaning in VM (with Benjamin).
Maxime Dénès
2015-10-09
|
*
Minor typo in universe polymorphism doc.
Maxime Dénès
2015-10-09
*
|
Splitting kernel universe code in two modules.
Pierre-Marie Pédrot
2015-10-06
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-06
|
\
|
|
*
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
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-02
|
\
|
|
*
Univs: More info for developers.
Matthieu Sozeau
2015-10-02
*
|
Better debug printers for module paths.
Maxime Dénès
2015-09-20
*
|
Merge branch 'v8.5' into trunk
Maxime Dénès
2015-09-17
|
\
|
|
*
Fix Windows installer.
Guillaume Melquiond
2015-09-17
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-08-22
|
\
|
|
*
windows build scripts made more accurate in detecting failures
Enrico Tassi
2015-08-17
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-08-05
|
\
|
|
*
A printer for printing constants of the env (maybe useful when there are not ...
Hugo Herbelin
2015-07-30
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-07-27
|
\
|
|
*
adding a missing case for printing zippers.
Gregory Malecha
2015-07-23
*
|
Merge branch 'v8.5' into trunk
Maxime Dénès
2015-07-02
|
\
|
|
*
Assumptions: more informative print for False axiom (Close: #4054)
Enrico Tassi
2015-06-29
|
*
win: compile with -debug
Enrico Tassi
2015-06-29
|
*
Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.
Thomas Sibut-Pinote
2015-06-25
*
|
Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.
Thomas Sibut-Pinote
2015-06-23
*
|
Merge remote-tracking branch 'forge/v8.5'
Pierre Boutillier
2015-06-22
|
\
|
|
*
script to build 64 coq installer for windows
Enrico Tassi
2015-06-01
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-05-05
|
\
|
|
*
Fixing #4198 (looking for subterms also in the return clause of match).
Hugo Herbelin
2015-04-21
|
*
use a more compact representation of non-constant constructors
Benjamin Gregoire
2015-03-27
[next]