///
char const * lyx_version = "@VERSION@";
///
-char const * lyx_release_date = "Sat, Mar 30, 2002";
+char const * lyx_release_date = "Fri, May 3, 2002";
/// This version string is intended to be used in files created by LyX
-char const * lyx_docversion = "LyX 1.2";
+char const * lyx_docversion = "LyX 1.3";
/// This is the version information shown by 'lyx -version'
char const * lyx_version_info = "@VERSION_INFO@";