4 ms·
>> Going from non-real-time TeX to real-time TeX rendering was worth it. That is one of those jumps that completely changes the nature of an app. IMHO on today
by phkahler 4y ago
>> Going from non-real-time TeX to real-time TeX rendering was worth it.
That is one of those jumps that completely changes the nature of an app. IMHO on today's computers almost everything should feel like real time. Highly interactive at the very least.