blob: b1f65971407267b66c2387c0c299655aa593633c (
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
configure.ml
dev/*
coqpp/*
lib/*
clib/*
config/*
checker/*
kernel/*
library/*
engine/*
gramlib/*
parsing/*
interp/*
pretyping/*
printing/*
proofs/*
stm/*
tactics/*
theories/*
user-contrib/*/*
vernac/*
toplevel/*
topbin/*
ide/*
ide/*/*
doc/plugin_tutorial/*/*/*
doc/tools/docgram/*
test-suite/*
test-suite/*/*/*
test-suite/*/*/*/*
test-suite/*/*/*/*/*
tools/*
tools/*/*
plugins/btauto/*
plugins/cc/*
plugins/derive/*
plugins/extraction/*
plugins/firstorder/*
plugins/fourier/*
plugins/funind/*
plugins/ltac/*
plugins/nsatz/*
plugins/omega/*
plugins/rtauto/*
plugins/setoid/*
plugins/ing/*
plugins/setoid_ring/*
plugins/ssr/*
plugins/ssrmatching/*
plugins/syntax/*
# Enabled: micromega
# plugins/micromega/*
plugins/micromega/micromega.ml
|
