mailing-list for TeXmacs Users

[Miguel de Benito Delgado <address@hidden>]

Hi,

On Mon, Oct 27, 2014 at 9:58 PM, Chris Austin <address@hidden> wrote:

Could the above line, perhaps the "0" at the end, be the problem?  I don't really want to interfere with these automatically generated files, whose format and purpose I don't understand.  Would it do any serious damage if I deleted one or both of these files, or replaced them by empty files? 

I haven't really read in detail your problem since you said it's already solved, but in general yes, you may delete the stuff in .TeXmacs/system. You'll want to keep preferences.scm, though. And just in case, move the folder instead of deleting it, so you can undo at any time.

Best, 

--
Miguel de  Benito.