Skip to content
Snippets Groups Projects
Select Git revision
  • local_updates
  • master
  • is_closed_free_vars
  • ofe_tweaks
  • big_sepM2_lemmata
  • dfrumin-master-patch-71378
  • patch-2
  • big_sepL-inv
  • twp_array
  • big_op2_swap
  • fill_reducible_no_obs
  • fresh_locs_arg
  • isimpl_test
  • isimpl_many
  • changelog_upd
  • robbert/big_sepM2
  • resolve_proph_fix
  • own_alloc_infinite
  • ispecialize_pers
  • option_mbind_ne
  • iris-2.0
  • iris-2.0-rc2
  • iris-2.0-rc1
  • iris-1.1
  • iris-1.0
  • hope-2015-coq-1
  • appendix-1.0.0
  • appendix-1
28 results
Blame Permalink
Forked from Iris / Iris
7429 commits behind the upstream repository.
configure 50 B
1
2
3 






#!/bin/sh
coq_makefile -f _CoqProject -o Makefile