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
*
Removing dead code in Genarg.
Pierre-Marie Pédrot
2016-03-19
*
Removing the untyped representation of genargs.
Pierre-Marie Pédrot
2016-03-19
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-03-18
|
\
*
|
Removing the registering of default values for generic arguments.
Pierre-Marie Pédrot
2016-03-17
*
|
Reducing the number of modules linked in grammar.cma.
Pierre-Marie Pédrot
2016-03-17
|
*
Fix #4591: Uncaught exception in directory browsing.
Pierre-Marie Pédrot
2016-03-15
*
|
Adding a few functions on type union.
Hugo Herbelin
2016-03-13
*
|
Removing OCaml deprecated function names from the Lazy module.
Pierre-Marie Pédrot
2016-03-10
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-03-09
|
\
|
|
*
Win: kill unreliable hence do not waitpid after kill -9 (Close #4369)
Enrico Tassi
2016-03-09
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-03-05
|
\
|
|
*
Rename Ephemeron -> CEphemeron.
Maxime Dénès
2016-03-04
|
*
Fixing bug #4105: poor escaping in the protocol between CoqIDE and coqtop.
Pierre-Marie Pédrot
2016-03-03
*
|
CLEANUP: Renaming "Util.compose" function to "%"
Matej Kosik
2016-02-17
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-02-13
|
\
|
|
*
Don't fail fatally if PATH is not set.
Emilio Jesus Gallego Arias
2016-02-10
*
|
Adding a "get" primitive to map signature.
Pierre-Marie Pédrot
2016-02-03
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-29
|
\
|
|
*
Restore warnings produced by the interpretation of the command line
Hugo Herbelin
2016-01-22
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-21
|
\
|
*
|
Stronger invariants on the use of the introduction pattern (pat1,...,patn).
Hugo Herbelin
2016-01-21
|
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
|
Moving val_cast to Tacinterp.
Pierre-Marie Pédrot
2016-01-17
*
|
Getting rid of the awkward unpack mechanism from Genarg.
Pierre-Marie Pédrot
2016-01-17
*
|
Simplification and type-safety of Pcoq thanks to GADTs in Genarg.
Pierre-Marie Pédrot
2016-01-17
*
|
Exporting Genarg implementation in the API.
Pierre-Marie Pédrot
2016-01-17
*
|
Reimplementing Genarg safely.
Pierre-Marie Pédrot
2016-01-17
*
|
Adding a structure indexed by tags.
Pierre-Marie Pédrot
2016-01-17
*
|
Temporary commit getting rid of Obj.magic unsafety for Genarg.
Pierre-Marie Pédrot
2016-01-17
|
*
Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.
Maxime Dénès
2016-01-15
*
|
Removing constr generic argument.
Pierre-Marie Pédrot
2016-01-14
*
|
Removing ident and var generic arguments.
Pierre-Marie Pédrot
2016-01-14
*
|
Merge remote-tracking branch 'origin/v8.5' into trunk
Guillaume Melquiond
2016-01-06
|
\
|
|
*
Protect code against changes in Map interface.
Maxime Dénès
2016-01-06
|
*
Fix order of files in mllib.
Maxime Dénès
2016-01-05
|
*
COMMENTS: Predicate
Matej Kosik
2016-01-05
*
|
Remove some unused functions.
Guillaume Melquiond
2016-01-02
*
|
Remove some useless module opening.
Guillaume Melquiond
2016-01-02
*
|
Avoid warnings about loop indices.
Guillaume Melquiond
2016-01-02
*
|
Fix typos.
Guillaume Melquiond
2016-01-01
*
|
Remove unused hashconsing code.
Guillaume Melquiond
2016-01-01
*
|
Do not make it harder on the compiler optimizer by packing arguments.
Guillaume Melquiond
2016-01-01
*
|
Merge branch 'v8.5' into trunk
Guillaume Melquiond
2015-12-31
|
\
|
*
|
Do not compose List.length with List.filter.
Guillaume Melquiond
2015-12-31
|
*
Do not dump a glob reference when its location is ghost. (Fix bug #4469)
Guillaume Melquiond
2015-12-31
*
|
Removing the special status of open_constr generic argument.
Pierre-Marie Pédrot
2015-12-28
*
|
Finer-grained types for toplevel values.
Pierre-Marie Pédrot
2015-12-21
*
|
Removing ad-hoc interpretation rules for tactic notations and their genarg.
Pierre-Marie Pédrot
2015-12-21
*
|
Sharing toplevel representation for several generic types.
Pierre-Marie Pédrot
2015-12-21
*
|
Removing the now useless genarg generic argument.
Pierre-Marie Pédrot
2015-12-21
[next]