]> matita.cs.unibo.it Git - helm.git/commitdiff
* debugging messages and dumpes commented out
authorLuca Padovani <luca.padovani@unito.it>
Fri, 7 Nov 2003 12:59:46 +0000 (12:59 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 7 Nov 2003 12:59:46 +0000 (12:59 +0000)
helm/DEVEL/mathml_editor/ChangeLog
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc

index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..95f5681b7a8fccec21491545d8cbdc52727ba98d 100644 (file)
@@ -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
+
index fddb24a580efcb18319ce53e124f6d0a6ec9bbcc..07eb4b3540e19ff1d9ffca835b273aabc46746a3 100644 (file)
@@ -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
index d3ac3f1f05f7c009415da9e41a24b65d38271800..456f383b4911f918a6cc7ba842be5ebbe81532f4 100644 (file)
@@ -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();
 }