extern const char *creation;
extern const char *revision;
extern const char *codelines;
+extern const int revision_master;
+extern const char *dev_revision;
extern const int patchlevel;
const char *get_compilation();
const char *get_creation();
const char *get_revision();
+const int is_stable_revision();
+const char *get_dev_revision();
const char *get_codelines();
const int get_patchlevel();
#endif