[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: TLA+ community event 2016

 - While I would not be able to attend, I'd be interested in watching

   a live stream.

Regarding the live Stream, here is an interesting discussion on how to add subtitles to a video easily (it begins
4 messages before the end.)

I think Stephan has a teaching activity and can certainly confirm that subtitles are of
use in the rest of the world. (And even for those who are older than his students.)