Commits · dfd5bffc457c20f96733cbda2dfacb91b399673a · POTTIER Francois / menhir

26 Jun, 2018 2 commits
- Add support for $loc, $sloc keywords · dfd5bffc
  Nicolás Ojeda Bär authored Jun 22, 2018
  
  dfd5bffc
- Remove a few horrible hardwired constants in [lexer.mll]. · 7032e45c
  POTTIER Francois authored Jun 26, 2018
  
  7032e45c
20 Jun, 2018 3 commits
- More info on the test suite in HOWTO.md. · 99cdfe4d
  POTTIER Francois authored Jun 20, 2018
  
  99cdfe4d
- Looking for correct markdown syntax. · ce66fd85
  POTTIER Francois authored Jun 20, 2018
  
  ce66fd85
- Convert HOWTO to markdown format and update it. · 5888a952
  POTTIER Francois authored Jun 20, 2018
  
  5888a952
13 Jun, 2018 1 commit
- Fix the build instructions in INSTALLATION.md · 8ba21d36
  POTTIER Francois authored Jun 13, 2018
```
so that they work also in the presence of GNUmakefile.
```
  8ba21d36
12 Jun, 2018 1 commit
- Removed the operator 8555, which is known as |>. · 75305c5e
  POTTIER Francois authored Jun 12, 2018
  
  75305c5e
11 Jun, 2018 1 commit
- TODO. · 43999683
  POTTIER Francois authored Jun 11, 2018
  
  43999683
08 Jun, 2018 3 commits
- Fix the expected test output after changes in [standard.mly]. · b2ebb393
  POTTIER Francois authored Jun 08, 2018
  
  b2ebb393
- TODO. · 454a40fa
  POTTIER Francois authored Jun 08, 2018
  
  454a40fa
- Introduce and document [endrule] and [midrule]. · 8f177a17
  POTTIER Francois authored Jun 08, 2018
  
  8f177a17
07 Jun, 2018 2 commits
- TODO. · 9d90b054
  POTTIER Francois authored Jun 07, 2018
  
  9d90b054
- Fix a typo in the documentation of $endpos. · 874ffaf0
  POTTIER Francois authored Jun 07, 2018
  
  874ffaf0
04 Jun, 2018 1 commit
- TODO. · 941178bd
  POTTIER Francois authored Jun 04, 2018
  
  941178bd
01 Jun, 2018 1 commit
- TODO. · a1fcca34
  POTTIER Francois authored Jun 01, 2018
  
  a1fcca34
31 May, 2018 5 commits
- TODO. · 70fe2442
  POTTIER Francois authored May 31, 2018
  
  70fe2442
- When [--infer-read-reply] is set, suppress all output until the [.mli] file is read. · 26b2cb27
  POTTIER Francois authored May 31, 2018
```
This avoids a duplication of the output when [--infer-write-query]
and [--infer-read-reply] are used one after the other.
```
  26b2cb27
- Add [Error.enable] and [Error.disable], currently unused. · 9394287c
  POTTIER Francois authored May 31, 2018
  
  9394287c
- Remove unneeded [package(unix)]. · c597973b
  POTTIER Francois authored May 31, 2018
  
  c597973b
- New Dune demos. · d237b0e8
  POTTIER Francois authored May 31, 2018
  
  d237b0e8
30 May, 2018 3 commits
- Fix [demos/Makefile] to not require new Dune and not fail [make check]. · 9c2be923
  POTTIER Francois authored May 30, 2018
  
  9c2be923
- 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
- Merge branch 'html-doc-2' into 'master' · be8cd23c
  POTTIER Francois authored May 30, 2018
```
Html doc 2

See merge request !5
```
  be8cd23c
29 May, 2018 3 commits
- doc: rename main.tex into manual.tex to simplify scripts · 6778798d
  Gabriel Scherer authored May 29, 2018
  
  6778798d
- GNUmakefile: also deploy PNG figures for the HTML manual · bb30f942
  Gabriel Scherer authored May 29, 2018
  
  bb30f942
- HTML manual: change the naming of Hevea-generated image files · 2cedbfeb
  Gabriel Scherer authored May 29, 2018
  
  2cedbfeb
28 May, 2018 6 commits
- New demo [calc-inspection-dune]. · 70328180
  POTTIER Francois authored May 28, 2018
  
  70328180
- Allow building the demos to 'succeed' even if dune is absent. · 2faca505
  POTTIER Francois authored May 28, 2018
  
  2faca505
- New demo calc-incremental-dune. · 847850c0
  POTTIER Francois authored May 28, 2018
  
  847850c0
- Fix [make test] in [demos/calc-dune]. · c3f00d4e
  POTTIER Francois authored May 28, 2018
  
  c3f00d4e
- TODO. · 653300ee
  POTTIER Francois authored May 28, 2018
  
  653300ee
- Add a {build} annotation to the ocamlfind dependency. · d3d04064
  POTTIER Francois authored May 28, 2018
  
  d3d04064
23 May, 2018 8 commits
- Real-clean the demos when creating a package. · 1600a23c
  POTTIER Francois authored May 23, 2018
  
  1600a23c
- Add [make realclean] in demos/Makefile. · d7da952c
  POTTIER Francois authored May 23, 2018
  
  d7da952c
- Do not build the demo [calc-dune] by default. · 3adcf671
  POTTIER Francois authored May 23, 2018
  
  3adcf671
- TODO. · 41892397
  POTTIER Francois authored May 23, 2018
  
  41892397
- Ship and install the HTML manual. · 78676cc0
  POTTIER Francois authored May 23, 2018
  
  78676cc0
- Build the HTML documentation by default. · ed16c887
  POTTIER Francois authored May 23, 2018
  
  ed16c887
- TODO. · cc667a61
  POTTIER Francois authored May 23, 2018
  
  cc667a61
- Makefile update. · 3e8dcd8d
  POTTIER Francois authored May 23, 2018
  
  3e8dcd8d