const char* WARNING_PARSE_FAILED = "Warning: date parse failed on " ;
const char* NO_SUCH_PATH_ERROR = "No such path! Specify an existing file path" ;
const char* DATE_IN_FORMAT = "%Y-%m-%d %H:%M %Z";
+ const char* GENERATED_IN = "Generated in (s): ";
+ const char* VISUALIZE_TREE = "Generated document tree: ";
// NAMED INDEX FOR DOCUMENT STRING BITS (LOADED FROM TEMPLATE FILE stringbits.txt)
const unsigned int HOME = 0;