Commits · 183c5cfe34db53df9486eb343509eab8d4519489 · Tej Chajed / stdpp

23 Jan, 2018 1 commit
- honor COQBIN if present · 183c5cfe
  Ralf Jung authored Jan 23, 2018
  
  183c5cfe
09 Oct, 2017 1 commit
- update Makefile · 937ef30b
  Ralf Jung authored Oct 09, 2017
  
  937ef30b
07 Oct, 2017 1 commit
- tweak opam build-dep installation · e67daba3
  Ralf Jung authored Oct 07, 2017
  
  e67daba3
28 Sep, 2017 1 commit
- fix build-dep on macOS · 2175e39f
  Ralf Jung authored Sep 28, 2017
  
  2175e39f
21 Sep, 2017 2 commits
- update Makefile · 0e409c0d
  Ralf Jung authored Sep 21, 2017
  
  0e409c0d
- fix Makefile · 4fc06ccc
  Ralf Jung authored Sep 21, 2017
  
  4fc06ccc
20 Sep, 2017 4 commits
- update build system · 38b9c399
  Ralf Jung authored Sep 20, 2017
  
  38b9c399
- fix make build-dep · 57e1431e
  Ralf Jung authored Sep 20, 2017
  
  57e1431e
- no more opam.pins · 4b6af89c
  Ralf Jung authored Sep 20, 2017
  
  4b6af89c
- Update for Coq 8.7 coq_makefile · 01d4aff9
  Ralf Jung authored Sep 20, 2017
  
  01d4aff9
23 Feb, 2017 1 commit

Ralf Jung authored Feb 23, 2017

This partially reverts 2bf11f4f.  There is no need to add new Makefile targets as the Makefile already forwards all targets to Makefile.coq.

10db208c

15 Feb, 2017 1 commit
- add target html and gallinahtml · 2bf11f4f
  Benoit Viguier authored Feb 15, 2017
```
also add html folder to .gitignore so generated doc is not added to the repo
```
  2bf11f4f
07 Feb, 2017 2 commits
- update build system, CI and README · 2d8a4eb4
  Ralf Jung authored Feb 06, 2017
  
  2d8a4eb4
- Also support Coq 8.5pl3. · 10c2f692
  Robbert Krebbers authored Feb 07, 2017
  
  10c2f692
06 Feb, 2017 1 commit
- Move COQ FLAGS to _CoqProject. · 5052a548
  Robbert Krebbers authored Feb 06, 2017
  
  5052a548
03 Feb, 2017 2 commits
- add opam and CI stuff (with preliminary names) · 63f64743
  Ralf Jung authored Feb 01, 2017
  
  63f64743
- Add makefiles and license. · 1ef65e1b
  Robbert Krebbers authored Jan 31, 2017
  
  1ef65e1b