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

Re: TLA+ Video Course

The scripts of all the lectures in the TLA+ Video Course are now available.  Each script contains everything shown and said on the video, except for shots of me.  It can be useful for the hearing impaired, viewers who want to review a lecture, and people who hate videos.  However, the html file that displays the video may be needed if the video requires the viewer to download material.