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
*
Merge branch 'yet-another-makefile-bigbang' into trunk
Pierre Letouzey
2016-06-01
|
\
|
*
Yet another Makefile reform : a unique phase without nasty make tricks
Pierre Letouzey
2016-06-01
|
*
Makefile: restore the use of coqdep_boot for creating .v.d files
Pierre Letouzey
2016-06-01
*
|
Feedback cleanup
Emilio Jesus Gallego Arias
2016-05-31
|
/
*
Removing the Entry module now that rules need not be marshalled.
Pierre-Marie Pédrot
2016-05-10
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-05-09
|
\
|
*
Rename Lexer -> CLexer.
Pierre-Marie Pédrot
2016-05-09
*
|
Moving the Val module to Geninterp.
Pierre-Marie Pédrot
2016-05-04
*
|
A note concerning the "Drop" command.
Matej Kosik
2016-05-03
*
|
setup.txt : a guide explaining taming Emacs, Merlin, Company, Ocamldebug.
Matej Kosik
2016-05-03
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-04-09
|
\
|
*
|
Fixing printing of toplevel values.
Pierre-Marie Pédrot
2016-04-08
|
*
Use -win32 and -win64 suffixes for installer name on Windows.
Maxime Dénès
2016-04-07
*
|
Merge remote-tracking branch 'origin/pr/78' into trunk:
Maxime Dénès
2016-04-04
|
\
\
*
|
|
Creating a dedicated ltac/ folder for Hightactics.
Pierre-Marie Pédrot
2016-03-21
*
|
|
Moving Tacenv to Hightactics.
Pierre-Marie Pédrot
2016-03-20
*
|
|
Moving Tactic_debug to Hightactic.
Pierre-Marie Pédrot
2016-03-20
*
|
|
Documenting changes.
Pierre-Marie Pédrot
2016-03-20
*
|
|
Making Evarutil independent from Reductionops.
Pierre-Marie Pédrot
2016-03-20
*
|
|
Splitting Evarutil in two distinct files.
Pierre-Marie Pédrot
2016-03-20
*
|
|
Pushing Proofview further down the dependency alley.
Pierre-Marie Pédrot
2016-03-20
*
|
|
Moving Refine to its proper module.
Pierre-Marie Pédrot
2016-03-20
*
|
|
Do not export entry_key from Pcoq anymore.
Pierre-Marie Pédrot
2016-03-19
*
|
|
Simplifying the code of Entry.
Pierre-Marie Pédrot
2016-03-19
*
|
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-03-18
|
\
\
\
|
|
|
/
|
|
/
|
*
|
|
Documenting the change of EXTEND macros.
Pierre-Marie Pédrot
2016-03-18
|
*
|
Trying to circumvent hdiutil error 5341 by padding.
Maxime Dénès
2016-03-14
*
|
|
Removing an empty file detected by Luc Grateau.
Hugo Herbelin
2016-03-12
*
|
|
Merge branch 'render-prehistory' of https://github.com/aspiwack/coq into aspi...
Hugo Herbelin
2016-03-09
|
\
\
\
*
|
|
|
Putting Tactic_debug just below Tacinterp.
Pierre-Marie Pédrot
2016-03-06
*
|
|
|
Moving Tactic_debug to tactics/ folder.
Pierre-Marie Pédrot
2016-03-06
*
|
|
|
Moving Ltac traces to Tacexpr and Tacinterp.
Pierre-Marie Pédrot
2016-03-06
*
|
|
|
Fixing bug #4610: Fails to build with camlp4 since the TACTIC EXTEND move.
Pierre-Marie Pédrot
2016-03-06
*
|
|
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-03-05
|
\
\
\
\
|
|
|
/
/
|
|
/
|
|
|
*
|
|
Rename Ephemeron -> CEphemeron.
Maxime Dénès
2016-03-04
|
*
|
|
Fix a typo in dev/doc/changes.txt
Jason Gross
2016-03-04
*
|
|
|
CLEANUP: Context.{Rel,Named}.Declaration.t
Matej Kosik
2016-02-09
*
|
|
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-29
|
\
|
|
|
|
*
|
|
Compile OS X binaries without native_compute support.
Maxime Dénès
2016-01-21
*
|
|
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-21
|
\
|
|
|
|
*
|
|
Update copyright headers.
Maxime Dénès
2016-01-20
*
|
|
|
Removing constr generic argument.
Pierre-Marie Pédrot
2016-01-14
*
|
|
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-13
|
\
|
|
|
|
*
|
|
Fixing #4467 (continued).
Hugo Herbelin
2016-01-13
*
|
|
|
merge
Matej Kosik
2016-01-11
|
\
\
\
\
|
*
|
|
|
CLEANUP: kernel/context.ml{,i}
Matej Kosik
2016-01-11
*
|
|
|
|
Merge remote-tracking branch 'origin/v8.5' into trunk
Guillaume Melquiond
2016-01-06
|
\
\
\
\
\
|
|
|
/
/
/
|
|
/
|
|
|
|
*
|
|
|
Fix order of files in mllib.
Maxime Dénès
2016-01-05
*
|
|
|
|
Simplification of grammar_prod_item type.
Pierre-Marie Pédrot
2016-01-02
*
|
|
|
|
Finer-grained types for toplevel values.
Pierre-Marie Pédrot
2015-12-21
[next]