From d3d8e2b31e71dfa87ce747e410f974a51a4fa272 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 19 Dec 2001 09:56:16 +0000
Subject: Réorganisation

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2331 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/deboguage.txt | 30 ++++++++++++++++++++++++++++++
 dev/lisezmoi.txt  | 30 ------------------------------
 2 files changed, 30 insertions(+), 30 deletions(-)
 create mode 100644 dev/deboguage.txt
 delete mode 100644 dev/lisezmoi.txt

(limited to 'dev')

diff --git a/dev/deboguage.txt b/dev/deboguage.txt
new file mode 100644
index 0000000000..eea7a0bc1f
--- /dev/null
+++ b/dev/deboguage.txt
@@ -0,0 +1,30 @@
+
+Debuggage
+=========
+
+   dans Emacs. nécessite le mode tuareg.
+   Coq doit être configuré avec -debug et -local (./configure -debug -local)
+
+   1. M-x camldebug
+   2. spécifier le binaire coqtop.byte
+   3. spécifier dev/ocamldebug-v7
+   4. source db  (pour avoir les pretty-printers)
+   5. poser ses points d'arrêts avec C-x C-a C-b (penser "add breakpoint")
+      directement dans le source ocaml
+   6. ensuite voir le man d'ocamldebug
+         run
+	 step
+	 next
+	 last
+	 print x
+	 ...
+
+
+Profiling
+=========
+
+   Coq doit être configuré avec -profile
+
+   1. Lancer Coq en natif, qui doit terminer normalement (utiliser Quit
+      ou l'option -batch)
+   2. gprof ./coqtop gmon.out
diff --git a/dev/lisezmoi.txt b/dev/lisezmoi.txt
deleted file mode 100644
index eea7a0bc1f..0000000000
--- a/dev/lisezmoi.txt
+++ /dev/null
@@ -1,30 +0,0 @@
-
-Debuggage
-=========
-
-   dans Emacs. nécessite le mode tuareg.
-   Coq doit être configuré avec -debug et -local (./configure -debug -local)
-
-   1. M-x camldebug
-   2. spécifier le binaire coqtop.byte
-   3. spécifier dev/ocamldebug-v7
-   4. source db  (pour avoir les pretty-printers)
-   5. poser ses points d'arrêts avec C-x C-a C-b (penser "add breakpoint")
-      directement dans le source ocaml
-   6. ensuite voir le man d'ocamldebug
-         run
-	 step
-	 next
-	 last
-	 print x
-	 ...
-
-
-Profiling
-=========
-
-   Coq doit être configuré avec -profile
-
-   1. Lancer Coq en natif, qui doit terminer normalement (utiliser Quit
-      ou l'option -batch)
-   2. gprof ./coqtop gmon.out
-- 
cgit v1.2.3