aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq.itarget
blob: dd8b25905cdeb725e9b44eb04fd3d1d3f8dcb6c3 (plain)
1
2
3
4
5
6
7
8
# NB: for the moment we start with bytecode compilation
# for early error detection in .ml
binariesbyte
plugins/pluginsbyte.otarget
binariesopt
plugins/pluginsopt.otarget
theories/theories.otarget
plugins/pluginsvo.otarget