Labels Milestones
Back($title_text && !$alt_text){ $text_element = $doc->createElement("i", $title_text); } elseif (strpos($title_text, $alt_text) !== False) { if (preg_match("@.*?(
- Vertex 5.143733e+000 2.946636e+000 2.488918e+001 facet normal -0.231109.
- 9.353808e+01 1.855000e+01 vertex -9.029324e+01 1.001063e+02 3.455000e+01 facet.
- V1.0 Final revision; added custom.