Francisco Jesús Martínez Mimbrera
17 lines
443 B
XML
17 lines
443 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE xml>
|
|
<?eclipse version="3.4"?>
|
|
<plugin>
|
|
<extension
|
|
point="flintstones.valuation">
|
|
<valuation
|
|
domain="flintstones.domain.numeric.real"
|
|
uid="flintstones.valuation.real"
|
|
implementation="flintstones.valuation.numeric.real.RealValuation"
|
|
is_intermediate="false"
|
|
name="Real">
|
|
</valuation>
|
|
</extension>
|
|
|
|
</plugin>
|