aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* [configure] Support for flambda flags.Gravatar Emilio Jesus Gallego Arias2017-10-10
* Merge PR #1115: Autolink to Github PRs from BugzillaGravatar Maxime Dénès2017-10-09
|\
* \ Merge PR #1117: [ci] Remove temporary bignums overlay.Gravatar Maxime Dénès2017-10-09
|\ \
* | | Extract changes to the XML protocol from its docGravatar Théo Zimmermann2017-10-06
* | | Make the XML protocol doc more version-independentGravatar Théo Zimmermann2017-10-06
* | | Merge PR #1112: Fix GeoCoq CI and remove it from allowed failuresGravatar Maxime Dénès2017-10-05
|\ \ \
| | * | [ci] Remove temporary bignums overlay.Gravatar Théo Zimmermann2017-10-04
| |/ / |/| |
| | * autolink to Github PRs from BugzillaGravatar Paul Steckler2017-10-03
| |/ |/|
* | Merge PR #1104: Browser userscript to turn BZ#XXXX occurences into links.Gravatar Maxime Dénès2017-10-03
|\ \
| | * Fix GeoCoq build by using a shared CI configure.Gravatar Théo Zimmermann2017-10-03
| |/ |/|
* | Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META fileGravatar Maxime Dénès2017-10-03
|\ \
| | * Browser userscript to turn BZ#XXXX occurences into links.Gravatar Gaëtan Gilbert2017-09-27
| |/ |/|
* | Merge PR #1055: Remove STM vernacularsGravatar Maxime Dénès2017-09-22
|\ \
* \ \ Merge PR #1065: In gitlab set TRAVIS_BRANCH so user overlays will work as exp...Gravatar Maxime Dénès2017-09-22
|\ \ \
* | | | Do not reinstall preinstalled packages under AppVeyor.Gravatar Maxime Dénès2017-09-21
* | | | Print Cygwin setup output rather than logging in to a file.Gravatar Maxime Dénès2017-09-21
| * | | In gitlab set TRAVIS_BRANCH so user overlays will work as expected.Gravatar Gaëtan Gilbert2017-09-20
|/ / /
| * | Improve documentation of Status message.Gravatar Maxime Dénès2017-09-19
* | | 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
|\ \ \ \ \
| | | | | * dev/build/windows/makecoq_mingw.sh: install camlp5's META fileGravatar Enrico Tassi2017-09-07
* | | | | | Merge PR #914: Making the detyper lazyGravatar Maxime Dénès2017-09-07
|\ \ \ \ \ \
| | | | | | * Trying to properly propagate errors in Windows CI script.Gravatar 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
|\ \ \ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 05:18:06 +0000