summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* POC deprecated optional argumentsdeprecated_optional_argumentsAlain Frisch2018-09-073-0/+64
* [minor] Makefile.menhir bugfix for non-subsecond make systemsGabriel Scherer2018-09-071-0/+1
* Revert "[minor] Makefile.menhir bugfix for non-subsecond make systems"Gabriel Scherer2018-09-071-1/+0
* [minor] Makefile.menhir bugfix for non-subsecond make systemsGabriel Scherer2018-09-071-0/+1
* [minor] Makefile.menhir bugfix for non-subsecond make systemsGabriel Scherer2018-09-071-1/+1
* Merge pull request #2025 from trefis/fix-expectThomas Refis2018-09-074-1/+86
|\
| * expect_test: cleanup typer stateThomas Refis2018-09-073-4/+3
| * expect_test: show typer state not properly cleanedThomas Refis2018-09-072-0/+86
* | Split the AppVeyor build into two jobsDavid Allsopp2018-09-073-68/+70
* | Remove space from end of FLEXLINK_ENVDavid Allsopp2018-09-079-37/+47
* | Use $(addprefix ...) and spacing adjustmentsDavid Allsopp2018-09-075-29/+25
* | Move FLEXLINK_ENV definition to Makefile.commonDavid Allsopp2018-09-078-55/+16
* | Always use ROOTDIR in tools MakefileDavid Allsopp2018-09-071-53/+57
* | Use ROOTDIR in ocamltest MakefileDavid Allsopp2018-09-071-10/+14
* | Always use ROOTDIR in lex and ocamldoc MakefilesDavid Allsopp2018-09-072-32/+36
* | Use FLEXLINK_ENV rather than FLEXLINK_PREFIX in testsuiteDavid Allsopp2018-09-071-7/+7
* | Harden flexlink.opt targetDavid Allsopp2018-09-071-2/+3
* | Standardise setting and use of OCAML_FLEXLINKDavid Allsopp2018-09-077-41/+51
* | Makefile.menhir: sanitize the standard.mly path to avoid useless churnGabriel Scherer2018-09-062-2/+11
* | Merge pull request #2008 from gasche/manual-examplesFlorian Angeletti2018-09-063-30/+77
|\ \ | |/ |/|
| * manual: more caml_examples in exten.etexGabriel Scherer2018-09-062-16/+33
| * caml_tex: also provide error output on Lexing errorsGabriel Scherer2018-09-061-1/+3
| * manual: convert more of exten.etex to {caml_example*}Gabriel Scherer2018-09-061-13/+41
* | BootstrapJeremie Dimino2018-09-063-2992/+3003
* | The parser keeps previous location when relocating ast nodeHugo Heuzard2018-09-0610-8/+67
* | Stop supporting obsolete platforms (#2024)Sébastien Hinderer2018-09-062-105/+8
* | Merge pull request #2018 from gasche/menhir-timestamp-checkGabriel Scherer2018-09-062-14/+61
|\ \
| * | Makefile: make the parser.mly timestamp heuristic more robustGabriel Scherer2018-09-062-14/+61
| |/
* | Merge pull request #2021 from pmetzger/fixmanbuildGabriel Scherer2018-09-062-9/+6
|\ \
| * | manual/README.md: remove claim that "ed" is needed for the installPerry E. Metzger2018-09-051-2/+0
| * | fix_index.sh: fix a bug, and convert from using "ed" to "sed"Perry E. Metzger2018-09-051-7/+6
* | | Merge pull request #2022 from fpottier/trunkGabriel Scherer2018-09-061-4/+6
|\ \ \ | |_|/ |/| |
| * | Fix a typo.François Pottier2018-09-061-1/+1
| * | In [make test-menhir], use a sed invocation that works both on MacOS and Linux.François Pottier2018-09-061-2/+4
| * | Make menhir a bit more verbose by passing -lg 1 -la 1.François Pottier2018-09-061-1/+1
|/ /
* | [minor] documentation improvements for Makefile.menhirGabriel Scherer2018-09-062-24/+87
* | Merge pull request #2019 from fpottier/trunkGabriel Scherer2018-09-066-2498/+2821
|\ \
| * | Add a regression test for MPR7847.François Pottier2018-09-053-0/+13
| * | Changes.François Pottier2018-09-051-0/+6
| * | Parser: in the definition of [simple_core_type], replaceFrançois Pottier2018-09-042-782/+1001
| * | Parser: introduce a generic definition of [reversed_separated_nonempty_list]François Pottier2018-09-042-2484/+2569
| |/
* | Merge pull request #1995 from TheAspiringHacker/stdlib-contrib-docsGabriel Scherer2018-09-061-0/+37
|\ \
| * | Correct wrong instructions for otherlibs/threads/Makefile; state that partial...TheAspiringHacker2018-08-201-5/+7
| * | Update link text of stdlib/HACKING.adoc to use paths relative to fileTheAspiringHacker2018-08-191-2/+2
| * | Rewrite stdlib/README.md as stdlib/HACKING.adocTheAspiringHacker2018-08-191-9/+15
| * | Add documentation for contributing to the stdlibTheAspiringHacker2018-08-191-0/+29
* | | Merge pull request #2017 from Octachron/manual_split_compilerlibsGabriel Scherer2018-09-057-38/+65
|\ \ \ | |_|/ |/| |
| * | html manual: split compilerlibs from stdlibFlorian Angeletti2018-09-057-38/+65
|/ /
* | replace awk by $(AWK) in doc makefilesFlorian Angeletti2018-09-043-4/+4
* | Merge pull request #2015 from hhugo/arityNicolás Ojeda Bär2018-09-036-252/+334
|\ \
View Lorry Controller Status