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/micromega/*
plugins/nsatz/*
plugins/omega/*
plugins/rtauto/*
plugins/setoid/*
plugins/ing/*
plugins/setoid_ring/*
plugins/ssr/*
plugins/ssrmatching/*
plugins/syntax/*
# Enabled: none for now