blob: 1d553c8a9a9695280d56f9ba587f7e27c5f4b807 (
plain)
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
32
33
34
35
36
37
|
*
# Begin files referenced by symlinks
!README.md
!AUTHORS
!INSTALL.md
!CeCILL-B
# End files referenced by symlinks
!*.opam
!plugin
!mathcomp
!etc/utils/hierarchy.ml
**/*.d
**/*.vo
**/*.vio
**/*.cm*
**/*~
**/*.glob
**/*.aux
**/*.a
**/*.o
**/*#
**/Make*.coq
**/Make*.coq.bak
**/Make*.coq.conf
mathcomp/ssreflect/ssreflect.ml4
mathcomp/ssreflect/ssrmatching.ml4
mathcomp/ssreflect/ssrmatching.mli
# mathcomp/ssreflect/ssrmatching.v
mathcomp/ssreflect/ssreflect_plugin.mllib
mathcomp/ssreflect/ssreflect_plugin.mlpack
mathcomp/ssreflect.ml4
mathcomp/ssrmatching.ml4
mathcomp/ssrmatching.mli
mathcomp/ssrmatching.v
mathcomp/ssreflect_plugin.mllib
mathcomp/ssreflect_plugin.mlpack
|
