/// Undo last check-in.
void undoLast();
- /// generate a log file and return the filename
+ /**
+ * Generate a log file and return the filename.
+ * It is the caller's responsibility to unlink the
+ * file after use.
+ */
const string getLogFile() const;
///
bool inUse();
/// Returns the version number.
- string const & version() const;
+ //string const & version() const;
+ /// Returns the version number.
+ string const versionString() const;
/// Returns the userid of the person who has locked the doc.
string const & locker() const;