From 5a5f774de94a1e822d5f8b079178dcef7ffdd0b0 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Mon, 3 May 2010 16:57:18 +0000
Subject: ocamldoc related fixes

 - coq logo isn't destructed anymore

 - Erase debug printers not implemented for new proofs

 - ocamldoc compatible comments for pretyping/rawterm.mli

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12988 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq.png | Bin 2335 -> 6269 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'ide')

diff --git a/ide/coq.png b/ide/coq.png
index 992f2d63f5..06aac45977 100644
Binary files a/ide/coq.png and b/ide/coq.png differ
-- 
cgit v1.2.3