X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Ftest%2Ftest.xml;fp=helm%2FDEVEL%2Flablgtkmathview%2Ftest%2Ftest.xml;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=a29bcdac0b271abffe96c26c7649aaddba9ce3eb;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/test/test.xml b/helm/DEVEL/lablgtkmathview/test/test.xml
deleted file mode 100644
index a29bcdac0..000000000
--- a/helm/DEVEL/lablgtkmathview/test/test.xml
+++ /dev/null
@@ -1,134 +0,0 @@
-<?xml version="1.0"?>
-
-<!DOCTYPE m:math [
- <!ENTITY InvisibleTimes "&#x02062;">
- <!ENTITY ApplyFunction "&#x02061;">
- <!ENTITY int "&#x0222B;">
-]>
-
-<m:math display="block" xmlns:helm="http://www.cs.unibo.it/helm" xmlns:m="http://www.w3.org/1998/Math/MathML">
-  <m:mrow helm:xref="SELECTION OK">
-    <m:mo>&int;</m:mo>
-    <m:mo>&ApplyFunction;</m:mo>
-    <m:mfrac>
-      <m:maction>
-       <m:mtext>It's a secret!</m:mtext>
-       <m:mrow>
-         <m:mrow>
-           <m:mi>a</m:mi>
-	   <m:mo>&InvisibleTimes;</m:mo>
-	   <m:mi>x</m:mi>
-	 </m:mrow>
-	 <m:mo>+</m:mo>
-	 <m:mi>b</m:mi>
-       </m:mrow>
-      </m:maction>
-      <m:mrow>
-        <m:msup helm:xref="A">
-	  <m:mi>x</m:mi>
-	  <m:mn>2</m:mn>
-	</m:msup>
-	<m:mo>+</m:mo>
-	<m:mrow helm:xref="B">
-	  <m:mi>p</m:mi>
-	  <m:mo>&InvisibleTimes;</m:mo>
-	  <m:mi>x</m:mi>
-	</m:mrow>
-	<m:mo>+</m:mo>
-	<m:mi>q</m:mi>
-      </m:mrow>
-    </m:mfrac>
-  </m:mrow>
-  <m:mo fontstyle="italic">d</m:mo>
-  <m:mi>x</m:mi>
-  <m:mo>=</m:mo>
-  <m:mrow>
-    <m:mrow>
-      <m:mfrac><m:mi>a</m:mi><m:mn>2</m:mn></m:mfrac>
-      <m:mo>&InvisibleTimes;</m:mo>
-      <m:mrow>
-        <m:mi>ln</m:mi>
-	<m:mo>&ApplyFunction;</m:mo>
-	<m:mrow>
-	  <m:mo>(</m:mo>
-	  <m:mrow>
-	    <m:msup><m:mi>x</m:mi><m:mn>2</m:mn></m:msup>
-	    <m:mo>+</m:mo>
-	    <m:mrow>
-	      <m:mi>p</m:mi>
-	      <m:mo>&InvisibleTimes;</m:mo>
-	      <m:mi>x</m:mi>
-	    </m:mrow>
-	    <m:mo>+</m:mo>
-	    <m:mi>q</m:mi>
-	  </m:mrow>
-	  <m:mo>)</m:mo>
-	</m:mrow>
-      </m:mrow>
-    </m:mrow>
-    <m:mo>+</m:mo>
-    <m:mrow>
-      <m:mfrac>
-        <m:mrow>
-	  <m:mrow>
-	    <m:mn>2</m:mn>
-	    <m:mo>&InvisibleTimes;</m:mo>
-	    <m:mi>b</m:mi>
-	  </m:mrow>
-	  <m:mo>-</m:mo>
-	  <m:mrow>
-	    <m:mi>a</m:mi>
-	    <m:mo>&InvisibleTimes;</m:mo>
-	    <m:mi>p</m:mi>
-	  </m:mrow>
-	</m:mrow>
-	<m:msqrt>
-	  <m:mrow>
-	    <m:mrow>
-	      <m:mn>4</m:mn>
-	      <m:mo>&InvisibleTimes;</m:mo>
-	      <m:mi>q</m:mi>
-	    </m:mrow>
-	    <m:mo>-</m:mo>
-	    <m:msup>
-	      <m:mi>p</m:mi>
-	      <m:mn>2</m:mn>
-	    </m:msup>
-	  </m:mrow>
-	</m:msqrt>
-      </m:mfrac>
-      <m:mo>&InvisibleTimes;</m:mo>
-      <m:mrow>
-        <m:mi xlink:href="JUMPS WORK">arctg</m:mi>
-	<m:mo>&ApplyFunction;</m:mo>
-	<m:mfrac>
-	  <m:mrow>
-	    <m:mrow>
-	      <m:mn>2</m:mn>
-	      <m:mo>&InvisibleTimes;</m:mo>
-	      <m:mi>x</m:mi>
-	    </m:mrow>
-	    <m:mo>+</m:mo>
-	    <m:mi>p</m:mi>
-	  </m:mrow>
-	  <m:msqrt>
-	    <m:mrow>
-	      <m:mrow>
-	        <m:mn>4</m:mn>
-		<m:mo>&InvisibleTimes;</m:mo>
-		<m:mi>q</m:mi>
-	      </m:mrow>
-	      <m:mo>-</m:mo>
-	      <m:msup>
-	        <m:mi>p</m:mi>
-		<m:mn>2</m:mn>
-	      </m:msup>
-	    </m:mrow>
-	  </m:msqrt>
-	</m:mfrac>
-      </m:mrow>
-    </m:mrow>
-    <m:mo>+</m:mo>
-    <m:mi>c</m:mi>
-  </m:mrow>  
-</m:math>