mailing-list for TeXmacs Users

[Victor Porton <address@hidden>]

05.03.2015, 23:48, "Victor Porton" <address@hidden>:

05.03.2015, 23:45, "Michael Lachmann" <address@hidden>:

On 04 Mar 2015, at 6:49 , Victor Porton <address@hidden> wrote:

 I have theorems of the form B=>C in one section and theorems of the form A=>C in another section. I want to replace them with a single theorem A=>B=>C (an join two sections into one). I am going to do it around hundred times. I see no reasonable way to do it without editing my book in two windows at once. But editing in two windows is seriously broken in 1.99.2.

And you can't do it by copying the document to a second file, and opening two windows for two documents, but copying things only
one way?

This way it is inconvenient to track changes, probably.

 

But I will think about your idea.

It can be done in the following way (modifying your idea):

1. Copy book.tm to book-old.tm

2. Remove the affected sections in book.tm

3. Move (merging theorems as I described above) theorems from book-old.tm to book.tm.

As the end result book.tm becomes what I need.

What platform are you working on? linux/osx/windows?

Debian Linux "testing", Gnome 3.

 

--

Victor Porton - http://portonvictor.org

--

Victor Porton - http://portonvictor.org