From: Luca Padovani 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 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 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 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 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 Thu, 19 Jun 2003 12:58:21 +0200 + +editex (0.0.2-1) unstable; urgency=low + + * New upstream release. + + -- Claudio Sacerdoti Coen Thu, 19 Jun 2003 12:58:21 +0200 + +editex (0.0.1-1) unstable; urgency=low + + * Initial Release. + + -- Stefano Zacchiroli 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(); }