File: _CoqProject

package info (click to toggle)
coq-libhyps 2.0.8-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 304 kB
  • sloc: makefile: 13; sh: 7
file content (15 lines) | stat: -rw-r--r-- 227 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
-R ../LibHyps LibHyps

-arg -w
-arg -undo-batch-mode

demo.v
incremental1.v
incremental1_fix.v
#incremental2.v
incremental2_fix.v
#incremental3.v
incremental3_fix.v
incremental5.v
incremental5_libhyp.v
incremental5_nolibhyps.v