From 883bea94e52fff9cee76894761d3704872d7a61d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 4 Jan 2010 14:07:59 +0000
Subject: Few misc. updates.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12622 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/doc/perf-analysis | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/perf-analysis b/dev/doc/perf-analysis
index 8e48154470..d23bf835b4 100644
--- a/dev/doc/perf-analysis
+++ b/dev/doc/perf-analysis
@@ -1,6 +1,14 @@
 Performance analysis (trunk repository)
 ---------------------------------------
 
+Dec 1, 2009 - Dec 19, 2009: Temporary addition of [forall x, P x] hints to
+  exact (generally not significative but, e.g., +25% on Subst, +8% on
+  ZFC, +5% on AreaMethod)
+
+Oct 19, 2009: Change in modules (CoLoR +35%)
+
+Aug 9, 2009: new files added in AreaMethod 
+
 May 21, 2008: New version of CoRN
   (needs +84% more time to compile)
 
-- 
cgit v1.2.3