Fix Tex table construction after spitting batch and incremental sources
Fix Tex table construction after spitting batch and incremental sources

metaborg/jsglr,metaborg/jsglr,metaborg/jsglr,metaborg/jsglr