1 files changed, 0 insertions, 30 deletions
diff --git a/dev/deboguage.txt b/dev/deboguage.txt
deleted file mode 100644
index eea7a0bc..00000000
--- a/dev/deboguage.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