aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/README
blob: a8811beab76f423c40f2eac7c28f09a788722837 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
This directory contains informations and tools to help developping the
Coq system


TODO
changements.txt
header
lisezmoi.txt			   
style.txt			   

Debugging and profiling
=======================

debugging.txt: help for debugging or profiling
db: to install pretty-printers from ocaml debugger
base_db: to install raw pretty-printers from ocaml debugger
ocamldebug-v7: to launch ocaml debugger
include: to install pretty-printers from ocaml toplevel
base_include: to install raw pretty-printers from ocaml toplevel
universes.txt: help to debug universes
univdot: produces a graph of CIC universes