mailing-list for TeXmacs Users

[Arun Kishore <address@hidden>]

Dear Sam,
Thanks for helping me out.
I am new user of TeXmacs... so it seems i have to learn a lot before i
can contribute something.

Regards,

On Mon, 2013-01-21 at 02:43 +0000, Sam Liddicott wrote:
> I dug out my closure code and split it off from the work it was part
> of and it works to solve the footnote problem.
> 
> 
> In the attached document, the pre-amble line:
> <quasi|<assign|render-footnote|<macro|nr|body|<with|
> render-footnote|<unquote|<value|
> render-footnote>>|<with-default-style|<render-footnote|<arg|nr>|<arg|
> body>>>>>>>
> 
> 
> 
> exists only to force render-footnote to use the new with-default-style
> macro. If this fix is adopted then all render-footnote macros would be
> re-written to use with-default-style and so it would not be needed in
> the pre-amble.
> 
> 
> Also in the pre-amble, the definition for with-default-style should
> not need to be there but by automatically executed texmacs at the end
> of the preamble either by magic or as part of a deferred execution
> stylesheet macro system.
> 
> 
> The stylesheet enclose.ts is defined using an experimental literate
> programming style for TeXmacs which is designed to be fully readable
> without view-source mode. It does this with a show-active macro it
> defines, which allows a macro to be defined and rendered visible at
> the same time, using rewrite-inactive. This is so that the stylesheet
> can be proper documentation (like latex packages) instead of just
> heavily commented stylesheet.
> 
> 
> Interestingly I had to re-define render-footnote using quasi; adding
> it to the with-default-style closure and defining it like this caused
> a crash (I guess infinite recursion) 
> <assign|render-footnote|<macro|nr|
> body|<with-default-style|<render-footnote|<arg|nr>|<arg|body>>>>>
> 
> I tried deferring evaluation if the inner render-footnote so it would
> take the enclosed value by means of compound, and quote, but it always
> crashed.
> 
> 
> I also say in closing that taking the top few scheme tutorials about 5
> times each has improved my understanding of quasi, unquote* and all
> that stuff.
> 
> 
> On Fri, Jan 18, 2013 at 3:32 PM, Miguel de Benito Delgado
> <address@hidden> wrote:
>         
>         On 18/01/2013, at 16:21, Sam Liddicott wrote:
>         
>         > with-default-style should be a closure of the font
>         > environments as they existed at the end of the pre-amble.
>         
>         
>         This looks perfect to me. 
>         
>         
>         Also there should be a way somewhere to access the initial
>         environment. It can be set with the macro <initial|>, but
>         retrieved how?
>         --
>         Miguel.
>         
>         
>         
>         
> 
> 

-- 
Arun Kishore <address@hidden>