Commits · 5e6aa871d51e571c47b39ce4aa00d6a9eaf2b052 · POTTIER Francois / menhir · GitLab

13 Jun, 2019 3 commits
- GNUmakefile: fix the name of the Coq opam repository. · 5e6aa871
  POTTIER Francois authored Jun 13, 2019
  
  5e6aa871
- Fix GNUmakefile to correctly update Version.v. · 07183886
  POTTIER Francois authored Jun 13, 2019
  
  07183886
- Update [make opam] in GNUmakefile to use the new opam-publish. · 5ad48508
  POTTIER Francois authored Jun 13, 2019
  
  5ad48508
22 Feb, 2019 1 commit
- Headache, licences, headers for coq-menhirlib. · 1eaae61e
  Jacques-Henri Jourdan authored Feb 23, 2019
  
  1eaae61e
21 Feb, 2019 2 commits
- Fix Coq backend for new validator, check version in Coq parsers. · cc4aaa06
  Jacques-Henri Jourdan authored Feb 21, 2019
  
  cc4aaa06
- coq-menhirlib/descr n'a rien a faire dans l'archive non plus. · 98a73d83
  Jacques-Henri Jourdan authored Feb 21, 2019
  
  98a73d83
15 Feb, 2019 6 commits
- We cannot use the same version of opam-publish for menhir and coq-menhirlib. · d6c51cf8
  Jacques-Henri Jourdan authored Feb 15, 2019
  
  d6c51cf8
- Revert "No need to pass the archive to opam publish." · 5bb950fd
  Jacques-Henri Jourdan authored Feb 15, 2019
```
This reverts commit 8f1610ec.
```
  5bb950fd
- No need to pass the archive to opam publish. · 8f1610ec
  Jacques-Henri Jourdan authored Feb 15, 2019
  
  8f1610ec
- Trying to get "make opam" do the right thing with coq-menhirlib. · ae36b34b
  Jacques-Henri Jourdan authored Feb 15, 2019
  
  ae36b34b
- Update release script to handle coq-menhirlib. · 774b232a
  Jacques-Henri Jourdan authored Feb 15, 2019
  
  774b232a
- Move Coq file to coq-menhirlib. · 08374566
  Jacques-Henri Jourdan authored Feb 15, 2019
  
  08374566
12 Dec, 2018 1 commit
- New Web page; updated release script; tweaks in the manual. · 9cb0a342
  POTTIER Francois authored Dec 12, 2018
  
  9cb0a342
11 Nov, 2018 1 commit
- A small improvement in [make mdl]. · aff52244
  POTTIER Francois authored Nov 11, 2018
  
  aff52244
06 Nov, 2018 2 commits
- Fix [make reinstall] so that the libraries are properly installed and the demos can be built. · 4de51f68
  POTTIER Francois authored Nov 06, 2018
  
  4de51f68
- Add [make reinstall]. · 496b9bec
  POTTIER Francois authored Nov 06, 2018
  
  496b9bec
25 Oct, 2018 8 commits
- Recreate [make export] to upload the manual to yquem. · 3b838072
  POTTIER Francois authored Oct 25, 2018
  
  3b838072
- Remove the symbolic link [current], which does not work as intended. · 78260ba5
  POTTIER Francois authored Oct 25, 2018
  
  78260ba5
- Comments. · b0aba629
  POTTIER Francois authored Oct 25, 2018
  
  b0aba629
- Fix [GNUmakefile] after renaming [opam] to [menhir.opam]. · e8c74d61
  POTTIER Francois authored Oct 25, 2018
  
  e8c74d61
- Introduce [make publish] and [make undo] to confirm/undo a release. · dca86bd5
  POTTIER Francois authored Oct 25, 2018
```
Change [make opam] to just use [opam publish].
```
  dca86bd5
- Another attempt to fix GNUmakefile. · 0e6080cb
  POTTIER Francois authored Oct 25, 2018
  
  0e6080cb
- Fix [make release] to include the correct version number in the manual. · da961ae8
  POTTIER Francois authored Oct 25, 2018
  
  da961ae8
- A more modern, gitlab-based release process. · a9c2dc5b
  POTTIER Francois authored Oct 25, 2018
  
  a9c2dc5b
05 Oct, 2018 1 commit
- Comment in GNUmakefile. · 3342a1ae
  POTTIER Francois authored Oct 05, 2018
  
  3342a1ae
30 May, 2018 2 commits
- GNUmakefile improvement. · 3aa914a3
  POTTIER Francois authored May 30, 2018
  
  3aa914a3
- Coq sources, Makefiles, opam package configuration. · 16d4beeb
  POTTIER Francois authored May 30, 2018
  
  16d4beeb
29 May, 2018 2 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
28 May, 2018 1 commit
- Allow building the demos to 'succeed' even if dune is absent. · 2faca505
  POTTIER Francois authored May 28, 2018
  
  2faca505
23 May, 2018 2 commits
- Real-clean the demos when creating a package. · 1600a23c
  POTTIER Francois authored May 23, 2018
  
  1600a23c
- Ship and install the HTML manual. · 78676cc0
  POTTIER Francois authored May 23, 2018
  
  78676cc0
06 Dec, 2017 1 commit
- Fixed [make headache] to work on both Linux and MacOS (I think). · a7722410
  POTTIER Francois authored Dec 06, 2017
  
  a7722410
03 Dec, 2017 1 commit
- Fix [make headache], at least on MacOS. · cb59563e
  POTTIER Francois authored Dec 03, 2017
  
  cb59563e
12 Jul, 2017 1 commit
- Ship the sources of the manual as part of the .tar.gz archive. · 3e91f5d0
  POTTIER Francois authored Jul 12, 2017
  
  3e91f5d0
07 Jun, 2017 2 commits
- 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
09 May, 2017 1 commit
- Tiny GNUmakefile improvement. · 4601ad21
  POTTIER Francois authored May 09, 2017
  
  4601ad21
18 Apr, 2017 1 commit
- GNUmakefile fix. · 7a457321
  POTTIER Francois authored Apr 18, 2017
  
  7a457321
06 Apr, 2017 1 commit
- Rename test/README to test/README.md. · 9195aadb
  POTTIER Francois authored Apr 06, 2017
  
  9195aadb