Commits · 647d843c53f3fb4d4880f30cf42d745d13c28d8a · POTTIER Francois / menhir

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 6 commits
- src/Makefile: pass -byte-plugin to ocamlbuild when TARGET=byte. · 45374ab5
  POTTIER Francois authored Jul 12, 2017
```
(Debian patch by Mehdi Dogguy.)
```
  45374ab5
- menhir.1: remove two iso-latin characters. · 5a167918
  POTTIER Francois authored Jul 12, 2017
  
  5a167918
- Remove the large file english.bib. · f91d51b5
  POTTIER Francois authored Jul 12, 2017
  
  f91d51b5
- CHANGES. · 6ab3ca7b
  POTTIER Francois authored Jul 12, 2017
  
  6ab3ca7b
- Ship the sources of the manual as part of the .tar.gz archive. · 3e91f5d0
  POTTIER Francois authored Jul 12, 2017
  
  3e91f5d0
- A better [make clean] in doc/Makefile. · c08a0630
  POTTIER Francois authored Jul 12, 2017
  
  c08a0630
06 Jul, 2017 2 commits
- Mention Obelisk in the manual. · 78b4643b
  POTTIER Francois authored Jul 06, 2017
  
  78b4643b
- Bib. · db11216f
  POTTIER Francois authored Jul 06, 2017
  
  db11216f
21 Jun, 2017 1 commit
- TODO. · 819e095e
  POTTIER Francois authored Jun 21, 2017
  
  819e095e
07 Jun, 2017 6 commits
- Merge branch 'master' of gitlab.inria.fr:fpottier/menhir · 4cd3366a
  POTTIER Francois authored Jun 07, 2017
  
  4cd3366a
- Fix [make package] to not include [src/installation.ml]. · 9d1daf04
  POTTIER Francois authored Jun 07, 2017
  
  9d1daf04
- Improve [make check] to auto-remove menhir and/or menhirLib, menhirSdk. · 7d5de7c1
  POTTIER Francois authored Jun 07, 2017
  
  7d5de7c1
- Updated headers on a few files. · 83903260
  POTTIER Francois authored Jun 07, 2017
  
  83903260
- Updated [quicktest/build.sh] to also install menhirSdk. · 3c08a57f
  POTTIER Francois authored Jun 07, 2017
  
  3c08a57f
- Removed an undeclared dependency of MenhirSdk on Unix. · a21bdd4f
  POTTIER Francois authored Jun 07, 2017
  
  a21bdd4f
29 May, 2017 1 commit
- TODO. · 7da74189
  POTTIER Francois authored May 29, 2017
  
  7da74189
22 May, 2017 1 commit
- TODO. · 592f7443
  POTTIER Francois authored May 22, 2017
  
  592f7443
15 May, 2017 2 commits
- TODO. · dfc741fa
  POTTIER Francois authored May 15, 2017
  
  dfc741fa
- TODO. · 8ea4792f
  POTTIER Francois authored May 15, 2017
  
  8ea4792f
11 May, 2017 1 commit
- Fix [make clean] in demos/generate-printers. · 29f37a0b
  POTTIER Francois authored May 11, 2017
  
  29f37a0b
10 May, 2017 1 commit
- Clarify a comment. · 26133e13
  POTTIER Francois authored May 10, 2017
  
  26133e13
09 May, 2017 6 commits
- Tiny GNUmakefile improvement. · 4601ad21
  POTTIER Francois authored May 09, 2017
  
  4601ad21
- CHANGES. · dc36f23b
  POTTIER Francois authored May 09, 2017
  
  dc36f23b
- Removed [Action.print], which was used only once. (Inlined there.) · 071b032e
  POTTIER Francois authored May 09, 2017
  
  071b032e
- Always include line number directives in generated .ml files. · 2352844c
  POTTIER Francois authored May 09, 2017
  
  2352844c
- Comments. · 15021b8a
  POTTIER Francois authored May 09, 2017
  
  15021b8a
- TODO. · 3389a4f3
  POTTIER Francois authored May 09, 2017
  
  3389a4f3
02 May, 2017 3 commits
- New example test/good/pager.mly. · be045f3a
  POTTIER Francois authored May 02, 2017
  
  be045f3a
- Comment. · 170862ef
  POTTIER Francois authored May 02, 2017
  
  170862ef
- TODO. · b1c17bde
  POTTIER Francois authored May 02, 2017
  
  b1c17bde
19 Apr, 2017 2 commits
- Fix date in CHANGES.md. · 91b68bf1
  POTTIER Francois authored Apr 19, 2017
  
  91b68bf1
- Added a new test, no_future. · a4689b8a
  POTTIER Francois authored Apr 19, 2017
  
  a4689b8a
18 Apr, 2017 6 commits
- GNUmakefile fix. · 7a457321
  POTTIER Francois authored Apr 18, 2017
  
  7a457321
- Headers. · 2540a850
  POTTIER Francois authored Apr 18, 2017
  
  2540a850
- TODO. · f248910b
  POTTIER Francois authored Apr 18, 2017
  
  f248910b
- Eliminate an overfull \hbox. · b430b21a
  POTTIER Francois authored Apr 18, 2017
  
  b430b21a
- Documentation improvements. · ab19bdfb
  POTTIER Francois authored Apr 18, 2017
  
  ab19bdfb
- Reordering of functions in the API. · 1e028721
  POTTIER Francois authored Apr 18, 2017
  
  1e028721
10 Apr, 2017 1 commit
- TODO. · 631ef751
  POTTIER Francois authored Apr 10, 2017
  
  631ef751