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
*
A slight phase of documentation and uniformization of names of
Hugo Herbelin
2016-06-02
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-06-01
|
\
*
\
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
|
|
*
Revert "Rename Lexer -> CLexer."
Pierre-Marie Pédrot
2016-05-31
*
|
|
Feedback cleanup
Emilio Jesus Gallego Arias
2016-05-31
|
/
/
|
*
Pfedit.get_current_context refinement (fix #4523)
Matthieu Sozeau
2016-05-26
*
|
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
[next]