transcript: improved debuugging facilities

[helm.git] / helm / software / matita / contribs / procedural / Coq / ZArith / BinInt.mma

diff --git a/helm/software/matita/contribs/procedural/Coq/ZArith/BinInt.mma b/helm/software/matita/contribs/procedural/Coq/ZArith/BinInt.mma
index 34bd26086460da79afd165d7f89e4f54dd686d94..b773d21631edf8a0a31043a83e28daa8911e3b4f 100644 (file)
--- a/helm/software/matita/contribs/procedural/Coq/ZArith/BinInt.mma
+++ b/helm/software/matita/contribs/procedural/Coq/ZArith/BinInt.mma
@@ -34,7 +34,7 @@ include "Coq.ma".
 
 (*#**********************************************************)
 
-(*#* Binary Integers (Pierre Crégut, CNET, Lannion, France) *)
+(*#* Binary Integers (Pierre Cr\233\gut, CNET, Lannion, France) *)
 
 (*#**********************************************************)