1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
#if COQ_VERSION >= (8, 16, 0)
-generate-meta-for-package coq-simple-io
#endif
-I plugin/
-Q plugin SimpleIO
plugin/compat.mli
plugin/compat.ml
plugin/iOLib.mli
plugin/iOLib.ml
plugin/coqsimpleio.mli
plugin/coqsimpleio.mlg
plugin/coqsimpleio_plugin.mlpack
-Q src/ SimpleIO
src/IO_Monad.v
src/IO_Stdlib.v
src/IO_MonadFix.v
src/IO_String.v
src/IO_Bytes.v
src/IO_RawChar.v
src/IO_Exceptions.v
src/IO_Random.v
src/IO_Unix.v
src/IO_Sys.v
src/IO_Filename.v
src/IO_Float.v
src/IO_Unsafe.v
src/IO_UnsafeNat.v
src/IO_StdlibAxioms.v
src/SimpleIO_Plugin.v
src/SimpleIO.v
|
