index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Fix treatment of universe context in typecheck inductive (was added
Matthieu Sozeau
2014-12-15
*
Tests for Searchxxx commands added and modified.
Pierre Courtieu
2014-12-15
*
Fixing bug #3865.
Pierre-Marie Pédrot
2014-12-15
*
Util.un_op -> Option.default
Pierre Boutillier
2014-12-14
*
Fix merging of name maps in union of universe contexts.
Matthieu Sozeau
2014-12-14
*
Fixing bug #3858 and #3817 in one stroke.
Pierre-Marie Pédrot
2014-12-14
*
Revert "Fixing bug #3817."
Pierre-Marie Pédrot
2014-12-14
*
Add Ltac syntax for the [tclIFCATCH] primitive.
Arnaud Spiwack
2014-12-12
*
Make sure the goals on the shelve are identified as goal and unresolvable for...
Arnaud Spiwack
2014-12-12
*
Searchxxx now interpret patterns in goal environment if any.
Pierre Courtieu
2014-12-12
*
#4843 part 2 : The .cmxs files for plug-ins must have execute permission
Pierre Boutillier
2014-12-12
*
Fix #3163 and #3843 part 1 : Cygwin DLLs have extension ".so", not ".dll"
Pierre Boutillier
2014-12-12
*
Fix #3800 : cmxs need execution priviledges under windows
Pierre Boutillier
2014-12-12
*
An option SimplIsCbn
Pierre Boutillier
2014-12-12
*
Extend the syntax of simpl with a delta flag.
Arnaud Spiwack
2014-12-12
*
Searchxxx now search also the hypothesis and support goal selector.
Pierre Courtieu
2014-12-12
*
Two fixes in unification (bugs #3782 and #3709)
Matthieu Sozeau
2014-12-12
*
In discrimination nets, do not index lambdas if they're part of a beta
Matthieu Sozeau
2014-12-12
*
handling Functional Scheme for required but not imported modules
Julien Forest
2014-12-11
*
List.v: sequel to Sebastien's commit (some cosmetics + a few shorter proofs)
Pierre Letouzey
2014-12-11
*
First series of results on lists.
Sébastien Hinderer
2014-12-11
*
Commit not ready. Sorry.
Hugo Herbelin
2014-12-11
*
Added a CannotSolveConstraint unification error and made experiments
Hugo Herbelin
2014-12-11
*
Fine-tuning unification error (using OccurCheck in evarconv).
Hugo Herbelin
2014-12-11
*
Tentatively more informative report of failure when inferring
Hugo Herbelin
2014-12-11
*
Fixing an evar_map bug revealed by commit 603b66f81 on unification flags.
Hugo Herbelin
2014-12-11
*
Test suite: keep message in sync with actual file deletions.
Xavier Clerc
2014-12-11
*
Ignore *.vi files, just like *.vo files.
Xavier Clerc
2014-12-11
*
New reproduction cases for the test suite.
Xavier Clerc
2014-12-11
*
Fix dummy argument use in guess_elim: there are some cases where X_ind
Matthieu Sozeau
2014-12-10
*
Revert commit that inverted the preference for FFlex/FProj problems in
Matthieu Sozeau
2014-12-10
*
Fixing orientation of postponed subtyping problems.
Hugo Herbelin
2014-12-10
*
Using a more aggressive test for resolving pattern equations ?n = ?p:
Hugo Herbelin
2014-12-10
*
typo
Enrico Tassi
2014-12-10
*
test-suite: few tests for ".v -> .vi -> .vo" compilation chain
Enrico Tassi
2014-12-10
*
Setup hook to change the unification algorithm used by evarconv,
Matthieu Sozeau
2014-12-09
*
Switch the few remaining iso-latin-1 files to utf8
Pierre Letouzey
2014-12-09
*
refman: switch all source files to utf8
Pierre Letouzey
2014-12-09
*
refman: fix broken urls
Pierre Letouzey
2014-12-09
*
refman: remove ?uri=referer in urls pointing to validator.w3.org
Pierre Letouzey
2014-12-09
*
refman/Omega.tex: do not advertize Pierre Cregut's email for bug reports
Pierre Letouzey
2014-12-09
*
refman/coqdoc.tex: fix two erroneous \url
Pierre Letouzey
2014-12-09
*
refman: for xhtml validity, add 'alt' attributes to img
Pierre Letouzey
2014-12-09
*
refman: avoid label names with whitespace (unsupported in html)
Pierre Letouzey
2014-12-09
*
refman: xhtml validity of the cover page
Pierre Letouzey
2014-12-09
*
coqdoc.css: fix a few errors
Pierre Letouzey
2014-12-09
*
coqdoc: fix a few issues with xhtml validity (backport 1636f7 and 754abf1 fro...
Pierre Letouzey
2014-12-09
*
doc/stdlib: fix the xhtml validity of the index-list template
Pierre Letouzey
2014-12-09
*
doc: improved xhtml compatibility (cover, header,...)
Pierre Letouzey
2014-12-09
*
doc/stdlib: fix the html charset in header.html and co
Pierre Letouzey
2014-12-09
[next]