[NTG-context] marking in two pass data

Thomas A. Schmitz thomas.schmitz at uni-bonn.de
Mon Aug 8 15:10:17 CEST 2016

On 08/08/2016 01:56 PM, Hans Hagen wrote:
> I bet you can figure out why this works:
>     context.bTD()
>     context.marking( { "Test" }, k[2])
>     context(k[1])
>     context.eTD()

Uugh, I thought I was clever in leaving it out of the cell, but of 
course, now I see my error! (In my defense, I made a stupid typo in my 
real-life file that made it harder to spot this). Thanks Hans, 
everything is fine now!


More information about the ntg-context mailing list