Commits · master · POTTIER Francois / menhir

20 Sep, 2018 1 commit
- Remove the trailing space at the end of every sentence in auto-generated `.messages` files. · fb929433
  POTTIER Francois authored Sep 20, 2018
  
  fb929433
18 Sep, 2018 1 commit
- At verbosity level `-lg 2`, for each nonterminal symbol `N`, display · e3332614
  POTTIER Francois authored Sep 18, 2018
```
a sentence (composed of terminal symbols) of minimal length generated
by `N`.
```
  e3332614
13 Sep, 2018 1 commit
- CHANGES. · e1c23b3b
  POTTIER Francois authored Sep 13, 2018
  
  e1c23b3b
10 Sep, 2018 2 commits
- Avoid references to Pervasives in the generated code. · 715f53ed
  POTTIER Francois authored Sep 10, 2018
  
  715f53ed
- Coq back-end: add a few newlines in the generated file for readability. · 228fdc0a
  POTTIER Francois authored Sep 10, 2018
  
  228fdc0a
05 Sep, 2018 1 commit
- When `--explain` is enabled, always create a fresh `.conflicts` file · a252433e
  POTTIER Francois authored Sep 05, 2018
```
(wiping out any pre-existing file), even if there are in fact no conflicts.
```
  a252433e
03 Jul, 2018 2 commits
- Update the man page, which was woefully out of date. · e5145f37
  POTTIER Francois authored Jul 03, 2018
  
  e5145f37
- Update the manual and the change log. · 2efd545a
  POTTIER Francois authored Jul 03, 2018
  
  2efd545a
08 Jun, 2018 1 commit
- Introduce and document [endrule] and [midrule]. · 8f177a17
  POTTIER Francois authored Jun 08, 2018
  
  8f177a17
30 May, 2018 1 commit
- In --coq mode, qualify references to MenhirLib modules. · 496e9a8d
  POTTIER Francois authored May 30, 2018
```
New options --coq-lib-path and --coq-lib-no-path control this behavior.
```
  496e9a8d
23 May, 2018 2 commits
- Ship and install the HTML manual. · 78676cc0
  POTTIER Francois authored May 23, 2018
  
  78676cc0
- CHANGES. · 8e61d5a4
  POTTIER Francois authored May 23, 2018
  
  8e61d5a4
22 Dec, 2017 1 commit
- New flag --unused-precedence-levels. · eb0b523f
  POTTIER Francois authored Dec 22, 2017
  
  eb0b523f
07 Dec, 2017 1 commit
- CHANGES. · 68ced34e
  POTTIER Francois authored Dec 07, 2017
  
  68ced34e
06 Dec, 2017 3 commits
- Re-typo. · c857d184
  POTTIER Francois authored Dec 06, 2017
  
  c857d184
- Typo. · 99e41355
  POTTIER Francois authored Dec 06, 2017
  
  99e41355
- CHANGES. · 378c3492
  POTTIER Francois authored Dec 06, 2017
  
  378c3492
12 Nov, 2017 1 commit
- Documentation update. · e657c34f
  POTTIER Francois authored Nov 12, 2017
  
  e657c34f
13 Oct, 2017 1 commit
- Remove the OCaml version check. · 290a3f9d
  POTTIER Francois authored Oct 13, 2017
  
  290a3f9d
26 Sep, 2017 1 commit

Makefile fix: when determining whether the suffix `.exe` should be used, test… · 647d843c

POTTIER Francois authored Sep 26, 2017

Makefile fix: when determining whether the suffix `.exe` should be used, test whether the OS is Windows, not whether the compiler is MSVC.

647d843c

12 Jul, 2017 1 commit
- CHANGES. · 6ab3ca7b
  POTTIER Francois authored Jul 12, 2017
  
  6ab3ca7b
07 Jun, 2017 1 commit
- Removed an undeclared dependency of MenhirSdk on Unix. · a21bdd4f
  POTTIER Francois authored Jun 07, 2017
  
  a21bdd4f
09 May, 2017 1 commit
- CHANGES. · dc36f23b
  POTTIER Francois authored May 09, 2017
  
  dc36f23b
19 Apr, 2017 1 commit
- Fix date in CHANGES.md. · 91b68bf1
  POTTIER Francois authored Apr 19, 2017
  
  91b68bf1
10 Apr, 2017 2 commits
- Mention MenhirLib.ErrorReports in CHANGES. · d5f98371
  POTTIER Francois authored Apr 10, 2017
  
  d5f98371
- CHANGES. · d2ebbe37
  POTTIER Francois authored Apr 10, 2017
  
  d2ebbe37
07 Apr, 2017 2 commits
- CHANGES. · db51d2ce
  POTTIER Francois authored Apr 07, 2017
  
  db51d2ce
- Incremental API: rename [has_default_reduction] to [env_has_default_reduction]. · b00eac64
  POTTIER Francois authored Apr 07, 2017
  
  b00eac64
06 Apr, 2017 11 commits
- Document the fact that the type ['a env] is parameterized again. · f7c982c8
  POTTIER Francois authored Apr 06, 2017
  
  f7c982c8
- CHANGES.md: [stack], [stack] and [MenhirLib.General] are deprecated. · 43270a6e
  POTTIER Francois authored Apr 06, 2017
  
  43270a6e
- Document the fact that a %public symbol can now be split, even inside a single .mly file. · dcdf39b0
  POTTIER Francois authored Apr 06, 2017
  
  dcdf39b0
- CHANGES. · a3e5df16
  POTTIER Francois authored Apr 06, 2017
  
  a3e5df16
- CHANGES.md now passes the markdown lint (mdl). · d819412c
  POTTIER Francois authored Apr 06, 2017
  
  d819412c
- Removed colons in headers. · bf6965f6
  POTTIER Francois authored Apr 06, 2017
  
  bf6965f6
- Complete Markdown conversion of CHANGES. · 5c305ce9
  POTTIER Francois authored Apr 06, 2017
  
  5c305ce9
- A little markdown conversion. · 689992a1
  POTTIER Francois authored Apr 06, 2017
  
  689992a1
- A little markdown conversion. · 8c69da31
  POTTIER Francois authored Apr 06, 2017
  
  8c69da31
- Renamed CHANGES to CHANGES.md. · 52349644
  POTTIER Francois authored Apr 06, 2017
  
  52349644
- Use ## headers in CHANGES. · e841a249
  POTTIER Francois authored Apr 06, 2017
  
  e841a249
24 Mar, 2017 1 commit
- CHANGES. · 480540e5
  POTTIER Francois authored Mar 24, 2017
  
  480540e5