First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] Session code export


Chronological Thread 
  • From: Karl Hegbloom <address@hidden>
  • To: Shelby Hui-Jun Chen <address@hidden>, texmacs-users <address@hidden>
  • Subject: Re: [TeXmacs] Session code export
  • Date: Mon, 20 Mar 2017 16:28:07 +0000

Look in the menus for optionally enablable tools, enable either debug or developer, I can't recall offhand which one, and look in those menus. I think there's an option for it.


On Sun, Mar 19, 2017, 19:01 Shelby Hui-Jun Chen <address@hidden> wrote:
Dear TeXmacs users:

Is it possible for texmacs to export code which is typed in session as pure txt or any other format which is easy for executing?

Thank you!

Sincerely,

Shelby Chen

Archive powered by MHonArc 2.6.19.

Top of page