<?
include_once("TorusSpring.inc.php");
include_once("TorusFFD.inc.php");
include_once("CowFEM.inc.php");
include_once("DragonFEM.inc.php");
# include_once("ArmadilloFEM.inc.php");
include_once("TorusRigid.inc.php");
$sofaOBJ[]="TorusSpring";
$sofaOBJ[]="TorusFFD";
$sofaOBJ[]="CowFEM";
$sofaOBJ[]="DragonFEM";
# $sofaOBJ[]="ArmadilloFEM";
$sofaOBJ[]="TorusRigid";
?>
