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
|
