mailing-list for TeXmacs Users

[Slava Rychkov <address@hidden>]

Dear Joris, I tried to press C-& in all possible key binding variants and for 
all positions, but nothing happens whatsoever in my TeXMacs 1.99.14 so I 
guess it’s not implemented in this version. I am not sure how to install 
revision 13156.

I was just wondering if it’s implemented and if not then I guess I should try 
to write my own macro for it as Max was suggesting.

Thanks for your help and sorry for bother.
Best Slava

On 15 Nov 2020, at 18:04, TeXmacs <address@hidden> wrote:

Dear Slava,

I incorporated the code from the workshop with several improvements (revision 
13156).
You may toggle between the two environments using C-&.
I did not advertise this feature in the interface yet;
I prefer that several people test it first.

Best wishes, --Joris


On Sun, Nov 15, 2020 at 03:51:01PM +0100, Massimiliano Gubinelli wrote:
>   Dear Slava,
>    I'm not really sure what is the transformation you are looking for. Can
>   you give an example of input and output of this transformation? There is
>   some indications on how to write macros which modifiy the structure of the
>   code here:
>   [1]http://magix.lix.polytechnique.fr/local/videos/TeXmacs-6.mp4
>   starting at approx 00:40:00.
>   Best
>   Max
> 
>     On 15. Nov 2020, at 14:11, Slava Rychkov <[2]address@hidden>
>     wrote:
>     Dear TexMacsers,
> 
>     one often needed operation is to transform a display formula into the
>     "several equations” environment. Is there a smart way to do this,
>     without having to create a new “several equations” instance, and copy
>     the formula there? This is tiresome, especially if one needs to copy the
>     label tag. A tip for a backward transformation would also be useful.
> 
>     Thanks! Slava
> 
> References
> 
>   Visible links
>   1. http://magix.lix.polytechnique.fr/local/videos/TeXmacs-6.mp4
>   2. mailto:address@hidden
> /usr/bin/xdg-open: line 402: htmlview: command not found
> /usr/bin/xdg-open: line 402: firefox: command not found
> /usr/bin/xdg-open: line 402: mozilla: command not found
> /usr/bin/xdg-open: line 402: netscape: command not found