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
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-19
|
\
|
*
Fixed #4274, bad formatting of messages in emacs mode.
Pierre Courtieu
2015-10-19
|
*
Miscellaneous typos, spacing, US spelling in comments or variable names.
Hugo Herbelin
2015-10-18
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-15
|
\
|
|
*
Fix some typos.
Guillaume Melquiond
2015-10-14
|
*
Fix some typos.
Guillaume Melquiond
2015-10-13
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-09
|
\
|
|
*
aux_file: export API to ease writing of a Proof Using annotator.
Enrico Tassi
2015-10-08
|
*
CThread: blocking read + threads now works
Enrico Tassi
2015-10-08
|
*
Spawn: use each socket exclusively for writing or reading
Enrico Tassi
2015-10-08
|
*
Future: make not-here/not-ready messages customizable
Enrico Tassi
2015-10-08
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-02
|
\
|
|
*
emacs output mode: Added <infomsg> tag to debug messages.
Pierre Courtieu
2015-10-02
|
*
Make the interface of System.raw_extern_intern much saner.
Guillaume Melquiond
2015-09-29
|
*
Prevent States.intern_state and System.extern_intern from looking up files in...
Guillaume Melquiond
2015-09-29
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-09-25
|
\
|
*
|
Rich printing of messages.
Pierre-Marie Pédrot
2015-09-20
*
|
Adding rich printing primitives.
Pierre-Marie Pédrot
2015-09-20
|
*
Revert "On MacOS X, ensuring that files found in the file system have the"
Maxime Dénès
2015-09-20
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-09-13
|
\
|
|
*
Fixing previous patch.
Pierre-Marie Pédrot
2015-09-10
|
*
Fixing the XML lexer definition of names to match the standard.
Pierre-Marie Pédrot
2015-09-10
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-08-22
|
\
|
|
*
Revert the four previous commits and update the description of Richpp.
Pierre-Marie Pédrot
2015-08-15
|
*
More invariants in Richpp.
Pierre-Marie Pédrot
2015-08-15
|
*
More parametric type for generalized XML.
Pierre-Marie Pédrot
2015-08-15
|
*
Statically ensure that we omit null annotations in Richpp.
Pierre-Marie Pédrot
2015-08-15
|
*
Fixing richpp behaviour w.r.t. its specification.
Pierre-Marie Pédrot
2015-08-15
|
*
Reverting 16 last commits, committed mistakenly using the wrong push command.
Hugo Herbelin
2015-08-02
|
*
A patch renaming equal into eq in the module dealing with
Hugo Herbelin
2015-08-02
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-07-29
|
\
|
|
*
Fixing bug #4281: Better escaping of XML attributes.
Pierre-Marie Pédrot
2015-07-28
|
*
Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)
Guillaume Melquiond
2015-07-28
|
*
Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.
Thomas Sibut-Pinote
2015-06-25
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-06-24
|
\
|
*
|
Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.
Thomas Sibut-Pinote
2015-06-23
|
*
Add a Set Dump Bytecode command for debugging purposes.
Maxime Dénès
2015-06-23
*
|
Fixup last commit
Pierre Boutillier
2015-06-22
*
|
All invocations to ocaml compilers go through ocamlfind
Pierre Boutillier
2015-06-22
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-06-01
|
\
|
|
*
Flag -test-mode intended to be used for ad-hoc prints in test-suite
Enrico Tassi
2015-05-29
|
*
Continuing 4b5af0d6e9 and 69941d4e19 about filename case check on MacOS X.
Hugo Herbelin
2015-05-22
|
*
Changing the heuristic fixing bug #4241.
Pierre Courtieu
2015-05-21
|
*
Answering report #4241 (formatting of boxes not behaving regularly
Hugo Herbelin
2015-05-20
|
*
Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that files
Hugo Herbelin
2015-05-20
|
*
The Fail command does not catch uncaught exception anomalies anymore.
Pierre-Marie Pédrot
2015-05-18
|
*
On MacOS X, ensuring that files found in the file system have the
Hugo Herbelin
2015-05-15
*
|
Merge v8.5 into trunk
Hugo Herbelin
2015-05-15
|
\
|
|
*
The -list-tag options now prints the corresponding COQ_COLORS value.
Pierre-Marie Pédrot
2015-05-14
|
*
Adding an option -w to control Coq warning output.
Pierre-Marie Pédrot
2015-05-14
[next]