Labels Milestones
Back9.242736e-001 0.000000e+000 vertex -5.631111e+000 3.382432e-001 1.747200e+001 facet normal -4.064183e-001 -7.112328e-001 5.735609e-001 vertex 2.533228e+000 4.355118e+000 2.480400e+001 facet normal 0.996728 -0.0398 -0.0703571 facet normal 0.547907 0.449653 0.705415 vertex -7.91125 5.64888 3.26879 vertex 9.67202 2.27473 2.94279.
- 1aa48a179aa2fb0f2688991cbdf145da4cfe15db Mon Sep 17 00:00:00.
- || $rel[0]=='?') { return $this->mangle_article($article); } catch (Exception.