Commits · 2175e39f5a45cb7bbccc790779fac1f76c05b28c · Iris / stdpp

Sep 28, 2017
- fix build-dep on macOS · 2175e39f
  Ralf Jung authored 7 years ago
  
  2175e39f
Sep 21, 2017
- update Makefile · 0e409c0d
  Ralf Jung authored 7 years ago
  
  0e409c0d
- fix Makefile · 4fc06ccc
  Ralf Jung authored 7 years ago
  
  4fc06ccc
Sep 20, 2017
- update build system · 38b9c399
  Ralf Jung authored 7 years ago
  
  38b9c399
- fix make build-dep · 57e1431e
  Ralf Jung authored 7 years ago
  
  57e1431e
- no more opam.pins · 4b6af89c
  Ralf Jung authored 7 years ago
  
  4b6af89c
- Update for Coq 8.7 coq_makefile · 01d4aff9
  Ralf Jung authored 7 years ago
  
  01d4aff9
Feb 23, 2017

Ralf Jung authored 8 years ago

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

10db208c

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