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
*
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
*
fix compilation
Benjamin Gregoire
2015-03-26
*
Adding a possible DEPRECATED flag to VERNAC EXTEND statements.
Pierre-Marie Pédrot
2015-02-19
*
Revert "Using same code for browsing physical directories in coqtop and coqdep."
Hugo Herbelin
2015-02-12
*
Using same code for browsing physical directories in coqtop and coqdep.
Hugo Herbelin
2015-02-12
*
Windows installer cleanup
Enrico Tassi
2015-02-05
*
Removing dead code.
Pierre-Marie Pédrot
2015-02-02
*
Univs: proper printing of global and local universe names (only
Matthieu Sozeau
2015-01-17
*
vm_printers: fix compilation
Enrico Tassi
2015-01-15
*
Update headers.
Maxime Dénès
2015-01-12
*
Avoiding introducing yet another convention in naming files.
Hugo Herbelin
2015-01-08
*
Compatibility ocaml 3.12.
Hugo Herbelin
2014-12-30
*
Minor fixes for the win32 installer
Enrico Tassi
2014-12-30
*
Win32: fix installer
Enrico Tassi
2014-12-19
*
More printers for ltac signatures.
Hugo Herbelin
2014-12-16
*
Switch the few remaining iso-latin-1 files to utf8
Pierre Letouzey
2014-12-09
*
Removing import of Proofview in debugger because its module Goal hides
Hugo Herbelin
2014-12-07
*
More printers in tracer.
Hugo Herbelin
2014-12-05
*
Reactivating option "Set Printing Existential Instances" for asking printing ...
Hugo Herbelin
2014-12-04
*
Reverting the following block of three commits:
Hugo Herbelin
2014-11-27
*
Experimenting always forcing convertibility on strict implicit arguments
Hugo Herbelin
2014-11-26
*
Add printer for transparent state for ocamldebug.
Hugo Herbelin
2014-11-23
*
Specific printer of Evar.Set.t for ocamldebug + more information in
Hugo Herbelin
2014-11-22
*
Adding a pretty-printing style library.
Pierre-Marie Pédrot
2014-11-15
*
Plug the dynamic tags in the Richpp mechanism.
Pierre-Marie Pédrot
2014-11-10
*
More "open" by default for trace debugging.
Hugo Herbelin
2014-10-31
*
Split [Proofview] into a file where the basic operations on the state are def...
Arnaud Spiwack
2014-10-22
*
Fix ill-typed debugging function
Matthieu Sozeau
2014-10-15
*
Adding printers for ppproofview.
Hugo Herbelin
2014-10-13
*
Add debug printers for projections, fix printing of evar constraints
Matthieu Sozeau
2014-10-10
*
Adding printer for named_context_val and Goal.goal in debugger.
Hugo Herbelin
2014-10-09
*
Adding a printer for hints.
Hugo Herbelin
2014-10-07
*
Fixing interpretation of constr under binders which was broken after
Hugo Herbelin
2014-10-02
*
Fixing nice printing of error reporting with ml tactics bound to ltac names.
Hugo Herbelin
2014-10-01
*
Fixing use of arguments renaming in apply which was broken after
Hugo Herbelin
2014-10-01
*
Index keys instead of simply global references.
Matthieu Sozeau
2014-09-27
*
Add a boolean to indicate the unfolding state of a primitive projection,
Matthieu Sozeau
2014-09-27
*
win32: embed NSIS for plugin writers
Enrico Tassi
2014-09-19
*
Fix debug printing with primitive projections.
Matthieu Sozeau
2014-09-18
*
win32: remove outdated splash screen
Enrico Tassi
2014-09-17
*
win32: use subsystem windows on windows (and not console)
Enrico Tassi
2014-09-17
*
Fix base_include due to change in argument order of env and evar_map
Matthieu Sozeau
2014-09-12
*
Uniformisation of the order of arguments env and sigma.
Hugo Herbelin
2014-09-12
*
Referring to evars by names. Added a parser for evars (but parsing of
Hugo Herbelin
2014-09-12
*
VernacExtend does not dispatch on type anymore.
Pierre-Marie Pédrot
2014-09-10
*
Merge remote-tracking branch 'jason/win32-improvements' into trunk
Enrico Tassi
2014-09-09
|
\
|
*
Bump CoqSDK revision number
Jason Gross
2014-09-09
|
*
Add a VERBOSE flag to make-sdk-win32
Jason Gross
2014-09-09
|
*
Minor code style cleanup in make-sdk-win32
Jason Gross
2014-09-09
[next]