From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 7 Nov 2003 12:59:46 +0000 (+0000)
Subject: * debugging messages and dumpes commented out
X-Git-Tag: V_0_2_2~26
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8a3290cb88bc523597c9b34a0da3419a5f82cbed;p=helm.git

* debugging messages and dumpes commented out
---

diff --git a/helm/DEVEL/mathml_editor/ChangeLog b/helm/DEVEL/mathml_editor/ChangeLog
index e69de29bb..95f5681b7 100644
--- a/helm/DEVEL/mathml_editor/ChangeLog
+++ b/helm/DEVEL/mathml_editor/ChangeLog
@@ -0,0 +1,55 @@
+editex (0.0.4-3) unstable; urgency=low
+
+  * Debugging printf commented out
+
+ -- Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>  Fri, 07 Nov 2003 13:52:01 +0200
+
+editex (0.0.4-2) unstable; urgency=low
+
+  * Use .o objects from .libs directory so that they are PIC
+    (should fix build failure on hppa)
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue, 21 Oct 2003 14:53:01 +0200
+
+editex (0.0.4-1) unstable; urgency=low
+
+  * New upstream release
+  * Rebuilt with ocaml 3.07, gmetadom 0.2.1, gtkmathview 0.5.1,
+    gdome-2xslt 0.0.6, lablgtk 1.2.6
+  * Use debian/compat instead of DH_COMPAT
+
+ -- Stefano Zacchiroli <zack@debian.org>  Fri, 10 Oct 2003 09:57:02 +0200
+
+editex (0.0.3-2) unstable; urgency=low
+
+  * Signed by me
+  * debian/control
+    - added ${misc:Depends}
+    - bumped standards-version to 3.5.10
+    - bumped dependencies on gmetadom to 0.1.9
+    - changed section of -dev package to libdevel
+
+ -- Stefano Zacchiroli <zack@debian.org>  Wed, 25 Jun 2003 18:26:11 +0200
+
+editex (0.0.3-1) unstable; urgency=low
+
+  * New upstream release.
+  * Bug fix: tml-litex.xsl was not installed
+  * Bug fix: Makefile.ac did not use pkg-config to look for the existence
+    of the required packages (that, in the meantime, started using pkg-config)
+    As a result, the required packages were no longer detected by ./configure
+
+ -- Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>  Thu, 19 Jun 2003 12:58:21 +0200
+
+editex (0.0.2-1) unstable; urgency=low
+
+  * New upstream release.
+
+ -- Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>  Thu, 19 Jun 2003 12:58:21 +0200
+
+editex (0.0.1-1) unstable; urgency=low
+
+  * Initial Release.
+
+ -- Stefano Zacchiroli <zack@debian.org>  Wed, 02 Apr 2003 15:53:25 +0200
+
diff --git a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
index fddb24a58..07eb4b354 100644
--- a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
+++ b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
@@ -49,7 +49,7 @@ CMathMLFactoryXSLT::documentModified(TDocument& doc)
 				       DOM::GdomeString("'" + std::string(dirty["id"]) + "'")));
   DOM::Document res = style.apply(doc.document(), dirtyId);
   assert(res);
-  style.save(doc.document(), stdout);
+  //style.save(doc.document(), stdout);
 
   if (DOM::Element root = res.get_documentElement())
 	  {
@@ -75,7 +75,7 @@ CMathMLFactoryXSLT::documentModified(TDocument& doc)
       logger.error("The stylesheet produced an empty document");
     }
 
-  style.save(result, stdout);
+  //style.save(result, stdout);
 }
 
 bool
diff --git a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc
index d3ac3f1f0..456f383b4 100644
--- a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc
+++ b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc
@@ -58,18 +58,18 @@ CMathMLFactoryXSLTDiff::documentModified(TDocument& doc)
   assert(res);
   //cout << "*** THE TEX DOCUMENT" << endl;
   //style.save(doc.document(), stdout);
-  std::cout << "*** THE CURRENT DOCUMENT:" << std::endl;
+  //std::cout << "*** THE CURRENT DOCUMENT:" << std::endl;
   //if (result) style.save(result, stdout);
-  std::cout << "*** THE NEW DOCUMENT:" << std::endl;
+  //std::cout << "*** THE NEW DOCUMENT:" << std::endl;
   //style.save(res, stdout);
-  std::cout << "*** THE DIFF:" << std::endl;
+  //std::cout << "*** THE DIFF:" << std::endl;
   DOMX::Diff diff = DOMX::Diff::diff(result, res);
   //style.save(diff.document(), stdout);
   long t2 = getTimer();
   diff.patch();
   long t3 = getTimer();
 
-  std::cout << "=== APPLY = " << (t1 - t0) / 1000 << " DIFF = " << (t2 - t1) / 1000 << " PATCH = " << (t3 - t2) / 1000 << std::endl;
+  //std::cout << "=== APPLY = " << (t1 - t0) / 1000 << " DIFF = " << (t2 - t1) / 1000 << " PATCH = " << (t3 - t2) / 1000 << std::endl;
 
   doc.clearDirty();
 }