blob: 9d0fee1fa21f583d4419de8f164fcaac9cbc95dc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#cd".";;
#directory "_build/default/lib/.lib.objs/";;
#directory "_build/default/clib/.clib.objs/";;
#directory "_build/default/kernel/.kernel.objs/";;
#directory "_build/default/library/.library.objs/";;
#directory "_build/default/engine/.engine.objs/";;
#directory "_build/default/pretyping/.pretyping.objs/";;
#directory "_build/default/interp/.interp.objs/";;
#directory "_build/default/parsing/.parsing.objs/";;
#directory "_build/default/gramlib/.gramlib.objs/";;
#directory "_build/default/proofs/.proofs.objs/";;
#directory "_build/default/tactics/.tactics.objs/";;
#directory "_build/default/printing/.printing.objs/";;
#directory "_build/default/vernac/.vernac.objs/";;
#directory "_build/default/stm/.stm.objs/";;
#directory "_build/default/toplevel/.toplevel.objs/";;
|
