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