rebuilt releases

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8363 8c9fc860-2736-0410-a75d-ab315db34111

Linux32/bin/DTPImage.SymU

@@ -1,7 +1,7 @@
 MODULE DTPImage;
 	IMPORT Modules, Files, XML, WMStandardComponents, WMGraphics, WMComponents, WMRectangles, WMDialogs, WMEditors, Strings, XMLObjects, WMWindowManager, Raster, WMRasterScale, DTPEditor, DTPData;
 CONST 
-	pluginVersion =   1.0000000E+000; 
+	pluginVersion = 1.00000000000000; 
 	pluginName = \"Image"\; 
 	pluginDesc = \"Loads an Image from the given Filename"\; 
 TYPE 

Linux32/bin/DTPRect.SymU

@@ -1,7 +1,7 @@
 MODULE DTPRect;
 	IMPORT Modules, Files, XML, XMLObjects, WMStandardComponents, WMGraphics, WMGraphicUtilities, WMComponents, WMRectangles, WMEditors, Strings, WMWindowManager, WMPopups, DTPData, DTPEditor, DTPUtilities;
 CONST 
-	pluginVersion =   1.0000000E+000; 
+	pluginVersion = 1.00000000000000; 
 	pluginName = \"Rectangle"\; 
 	pluginDesc = \"Draws a Rectangle with a given Bordercolor and Fillcolor"\; 
 	fillModeSolid = 0; 

Linux32/bin/DTPText.SymU

@@ -1,10 +1,10 @@
 MODULE DTPText;
 	IMPORT KernelLog, Modules, Inputs, Streams, Files, XML, WMGrids, WMStandardComponents, WMGraphics, WMGraphicUtilities, WMDropTarget, WMStringGrids, WMComponents, WMRectangles, WMDialogs, WMProperties, WMRasterScale, WMEditors, Strings, TextUtilities, Texts, XMLObjects, UTF8Strings, WMWindowManager, Raster, DTPEditor, DTPData, DTPUtilities;
 CONST 
-	pluginVersion =   1.0000000E+000; 
+	pluginVersion = 1.00000000000000; 
 	pluginName = \"Text"\; 
 	pluginDesc = \"Text Plugin for DTPEditor"\; 
-	point =   3.5277778E-001; 
+	point = 3.52777777800000E-1; 
 	TraceRenderOptimize = 0; 
 	TraceLayout = 1; 
 	TraceBaseLine = 2; 

Linux32/bin/DTPView.SymU

@@ -10,7 +10,7 @@ CONST
 	GUIDECOLOR = 16777215; 
 	GRIDCOLOR = LONGINT(3132799743); 
 	SUBGRIDCOLOR = LONGINT(3722305023); 
-	point =   3.5277778E-001; 
+	point = 3.52777777800000E-1; 
 TYPE 
 	DrawPanel* = OBJECT {EXCLUSIVE} (WMComponents.VisualComponent)
 	VAR