aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* Merge PR #1043: Disable OSX signing for temporary artifacts.Gravatar Maxime Dénès2017-09-19
|\
* \ Merge PR #979: Fix install-doc target and other gitlab failuresGravatar Maxime Dénès2017-09-15
|\ \
* \ \ Merge PR #939: [general] Merge parsing with highparsing, put toplevel at the ...Gravatar Maxime Dénès2017-09-15
|\ \ \
* \ \ \ Merge PR #962: Move dev/doc/changes to Markdown.Gravatar Maxime Dénès2017-09-15
|\ \ \ \
| | | * | Fix GitLab CIGravatar Gaëtan Gilbert2017-09-13
| | | | * Disable OSX signing for temporary artifacts.Gravatar Maxime Dénès2017-09-11
* | | | | Move README.ci and link to it from CONTRIBUTING.Gravatar Théo Zimmermann2017-09-08
| |_|_|/ |/| | |
* | | | Merge PR #968: Better error messages on the CIGravatar Maxime Dénès2017-09-07
|\ \ \ \
* \ \ \ \ Merge PR #914: Making the detyper lazyGravatar Maxime Dénès2017-09-07
|\ \ \ \ \
* | | | | | Make AppVeyor generate Windows package.Gravatar Maxime Dénès2017-09-05
* | | | | | Remove -debug option from Windows build script.Gravatar Maxime Dénès2017-09-05
* | | | | | Get sources of cygwin packages after building the installer.Gravatar Maxime Dénès2017-09-05
* | | | | | Adapt Windows build script to new CoqIDE data installation directory.Gravatar Maxime Dénès2017-09-05
* | | | | | Print more of the Coq build output.Gravatar Maxime Dénès2017-09-05
* | | | | | Print Coq build output.Gravatar Maxime Dénès2017-09-05
* | | | | | In regression test mode, run cygwin setup to install dependencies.Gravatar Maxime Dénès2017-09-05
* | | | | | Fix Software Foundations build.Gravatar Maxime Dénès2017-09-05
| |_|_|_|/ |/| | | |
| * | | | Making detyping potentially lazy.Gravatar Pierre-Marie Pédrot2017-09-04
|/ / / /
* | | | Merge PR #999: For BZ#5688, mention hanging issue in ocamldebug and workaroundGravatar Maxime Dénès2017-08-31
|\ \ \ \
| * | | | mention issue with OCAMLRUNPARAM and ocamldebugGravatar Paul Steckler2017-08-29
| | | | * [general] Merge parsing with highparsing, put toplevel at the top of the link...Gravatar Emilio Jesus Gallego Arias2017-08-29
| | |_|/ | |/| |
* | | | Adapt debugging doc to configure/Makefile changes.Gravatar Théo Zimmermann2017-08-29
* | | | Move debugging to Markdown.Gravatar Théo Zimmermann2017-08-29
|/ / /
| | * Move dev/doc/changes to Markdown.Gravatar Théo Zimmermann2017-08-29
| |/ |/|
* | Merge PR #838: Have coq-dpdgraph ci test print the differencesGravatar Maxime Dénès2017-08-29
|\ \
* \ \ Merge PR #819: Cleanup old thingsGravatar Maxime Dénès2017-08-29
|\ \ \
| | | * Don't strip the newline, don't use \rGravatar Jason Gross2017-08-24
| | | * Swap order of "aggregating..." message and travis_foldGravatar Jason Gross2017-08-24
| | | * Only display travis_fold: on travisGravatar Jason Gross2017-08-24
* | | | Merge PR #801: Make Travis generate OSX packages.Gravatar Maxime Dénès2017-08-18
|\ \ \ \
| * | | | Make Travis generate OSX packages.Gravatar Maxime Dénès2017-08-17
* | | | | Mention tclINDEPENDENTL (#349) in dev/doc/changes.Gravatar Théo Zimmermann2017-08-16
|/ / / /
| | | * Move the rest of the ci target to a bash fileGravatar Jason Gross2017-08-15
| | | * Better error messages on the CIGravatar Jason Gross2017-08-15
| |_|/ |/| |
| * | Add dev/v8-syntax/check-grammar byproducts to gitignore.Gravatar Gaëtan Gilbert2017-08-01
| * | Remove obsolete filesGravatar Gaëtan Gilbert2017-08-01
| * | Add .v extension to dev/doc/notes-on-conversionGravatar Gaëtan Gilbert2017-08-01
| * | Remove dev/TODOGravatar Gaëtan Gilbert2017-08-01
| * | Fix syntax-v8.tex bad parenthesizingGravatar Gaëtan Gilbert2017-08-01
| * | Remove unused Makefiles in dev/tools/Gravatar Gaëtan Gilbert2017-08-01
|/ /
| * Have coq-dpdgraph ci test print the differencesGravatar Jason Gross2017-08-01
|/
* Merge PR #775: [toplevel] Remove long ago deprecated and NOOP options.Gravatar Maxime Dénès2017-08-01
|\
* \ Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t insteadGravatar Maxime Dénès2017-07-31
|\ \
* \ \ Merge PR #746: Timing on ci via coq_makefile for various projectsGravatar Maxime Dénès2017-07-31
|\ \ \
* \ \ \ Merge PR #923: [api] Fix base_include LTAC parts.Gravatar Maxime Dénès2017-07-28
|\ \ \ \
* \ \ \ \ Merge PR #782: Update API for fiatGravatar Maxime Dénès2017-07-28
|\ \ \ \ \
* \ \ \ \ \ Merge PR #852: Makefile: fails if some .vo or .cm* file has no sourceGravatar Maxime Dénès2017-07-28
|\ \ \ \ \ \
| | | | | | * [toplevel] Remove long ago deprecated and NOOP options.Gravatar Emilio Jesus Gallego Arias2017-07-27
| |_|_|_|_|/ |/| | | | |
| | | * | | [api] Fix base_include LTAC parts.Gravatar Emilio Jesus Gallego Arias2017-07-27
| |_|/ / / |/| | | |
| | | | * deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27