string const
ChangeExtension(string const & oldname, string const & extension);
+/// Return the extension of the file (not including the .)
+string GetExtension(string const & name);
+
/// Create absolute path. If impossible, don't do anything
string const ExpandPath(string const & path);
/* Uses kpsewhich to find tex files */
string const findtexfile(string const & fil, string const & format);
+/* remove the autosave-file and give a Message if it can't be done */
+void removeAutosaveFile(string const & filename);
+
#endif