using std::endl;
using std::find;
-
+using std::string;
using std::list;
using std::ostream;
using std::ostringstream;
"prettyref",
"float",
"wasy",
- "dvipost"
+ "dvipost",
+ "fancybox",
+ "calc"
};
int const nb_simplefeatures = sizeof(simplefeatures) / sizeof(char const *);