From c55728a42a8de6ce47bcb07d87050da5e5fc38f9 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 19 Dec 2001 12:19:42 +0000
Subject: Pour les développeurs extérieurs

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2339 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/README | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 dev/README

(limited to 'dev')

diff --git a/dev/README b/dev/README
new file mode 100644
index 0000000000..a8811beab7
--- /dev/null
+++ b/dev/README
@@ -0,0 +1,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
-- 
cgit v1.2.3