aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliGravatar Enrico Tassi2017-05-23
* Dead code in coqdep.Gravatar Hugo Herbelin2017-05-15
* Fix 4.04 warningsGravatar Gaetan Gilbert2017-04-27
* Warning 29: non escaped end of line may be non portableGravatar Gaetan Gilbert2017-04-27
* Remove some unused values and typesGravatar Gaetan Gilbert2017-04-27
* Fix omitted labels in function callsGravatar Gaetan Gilbert2017-04-27
* [camlpX] Enrico's changes to camlp4 removal.Gravatar Emilio Jesus Gallego Arias2017-04-07
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-03-22
|\
* | [xml] Restore protocol compatibility with 8.6.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Remove uses of expensive string_of_ppcmds.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Remove special tag type and handler from Pp.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Remove richpp from fake_ide.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [ide] Use "log via feedback".Gravatar Emilio Jesus Gallego Arias2017-03-21
* | [misc] Remove warnings about String.setGravatar Emilio Jesus Gallego Arias2017-03-20
* | [safe-string] Enable -safe-string !Gravatar Emilio Jesus Gallego Arias2017-03-14
* | [safe-string] toolsGravatar Emilio Jesus Gallego Arias2017-03-14
| * Fix #5132: coq_makefile generates incorrect install goalGravatar Vadim Zaliva2017-03-14
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-02-22
|\|
* | Removing spurious folder includes in coq_makefile.Gravatar Pierre-Marie Pédrot2017-02-17
* | [stm] Break stm/toplevel dependency loop.Gravatar Emilio Jesus Gallego Arias2017-02-15
| * fix Emacs compiler warning on '(lambda...)Gravatar Hendrik Tews2017-02-06
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-01-19
|\|
| * Properly remove aux files in subdirectories (bug #5089).Gravatar Erik Martin-Dorel2017-01-13
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-11-30
|\|
| * Remove spurious spaces in merlin file generated by coq_makefile (bug #5213).Gravatar Guillaume Melquiond2016-11-21
| * Stop parsing -compat-notations options, which are no longer supported (bug #3...Gravatar Guillaume Melquiond2016-11-21
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-11-18
|\|
| * Revert "fake_ide: use the now available Status XML message"Gravatar Maxime Dénès2016-11-18
| * fake_ide: use the now available Status XML messageGravatar Enrico Tassi2016-11-17
| * Fix #4837: ./configure -local makes coqdep issue many warningsGravatar Maxime Dénès2016-11-04
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-02
|\|
| * coqc: recognize -profile-ltac-cutoffGravatar Enrico Tassi2016-09-30
* | Merge PR #244.Gravatar Pierre-Marie Pédrot2016-09-08
|\ \ | |/ |/|
* | Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-08-21
|\ \
| | * Make the user_err header an optional parameter.Gravatar Emilio Jesus Gallego Arias2016-08-19
| |/ |/|
| * Output a break before a list only if there was an empty line (bug #4606).Gravatar Guillaume Melquiond2016-08-16
* | Allow `STDTIME=foo make`Gravatar Jason Gross2016-07-19
* | Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-07-07
|\|
* | Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05
| * Pass .v files to coqc in Makefile produced by coq_makefile (bug #4896).Gravatar Guillaume Melquiond2016-07-05
* | Merge remote-tracking branch 'github/pr/229' into trunkGravatar Maxime Dénès2016-07-04
|\ \
* | | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
| * | coq_makefile : do not build bytecode versions of plugins by defaultGravatar Pierre Letouzey2016-06-29
| * | Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2016-06-29
|/ /
* | Fix off-by-1 bug in coq_makefileGravatar Matthieu Sozeau2016-06-27
* | [feedback] Allow messages to carry a location.Gravatar Emilio Jesus Gallego Arias2016-06-25
* | Makefile: compat5* moved in grammar/, less -I given to camlp4oGravatar Pierre Letouzey2016-06-21
* | ocamllibdep + coqdep : simpler deps concerning .mllib and .mlpackGravatar Pierre Letouzey2016-06-15
* | Merge remote-tracking branch 'origin/pr/166' into trunkGravatar Enrico Tassi2016-06-14
|\ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-28 14:20:46 +0000