Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
12 lines (11 sloc) 252 Bytes
-I src
-R theories Forcing
-custom "coqmktop -o $@ $^" "src/forcing_plugin.cma" coqtop
src/forcing_common.ml4
src/forcing.ml4
src/forcing_plugin_mod.ml
src/forcing_plugin.mllib
theories/Init.v
theories/Forcing.v
#test-suite/Basics.v
#test-suite/rec.v