1
This directory contains informations and tools to help developing the
6
Debugging and profiling (in current directory - see doc/debugging.txt)
7
-----------------------
9
ocamldebug-coq: to launch ocaml debugger
11
db: to install pretty-printers from ocaml debugger
12
base_db: to install raw pretty-printers from ocaml debugger
14
include: to install pretty-printers from ocaml toplevel
15
base_include: to install raw pretty-printers from ocaml toplevel
17
vm_printers.ml, dev_printers.ml: ML pretty-printers for debugging
20
Miscellaneous informations about the code (directory doc)
21
-----------------------------------------
23
changes.txt: (partial) per-version summary of the evolutions of Coq ML source
24
style.txt: a few style recommendations for writing Coq ML files
25
debugging.txt: help for debugging or profiling
26
universes.txt: help to debug universes
27
translate.txt: help to use coq translator
28
extensions.txt: some help about TACTIC EXTEND
30
header: standard header for Coq ML files
31
perf-analysis: analysis of perfs measured on the compilation of user contribs
32
cic.dtd: official dtd of the calc. of ind. constr. for im/ex-portation
35
Documentation of ML interfaces using tex (directory ocamlweb-doc)
36
----------------------------------------
38
go in directory and call "make"
41
Other development tools (directory tools)
42
-----------------------
44
univdot: produces a graph of CIC universes
45
Makefile.dir: makefile dedicated to intensive work in a given directory
46
Makefile.subdir: makefile dedicated to intensive work in a given subdirectory
47
Makefile.devel: utilities to automatically launch coq in various states
48
Makefile.common: used by other Makefiles
49
objects.el: various development utilities at emacs level