The directory TLMC contains slightly tidied up sources for the slides and notes for the course "Temporal Logic and Model Checking". There is also a tarball for anyone who might want to use the material (do so at your own risk). Additional ephemeral stuff can be found at the web page for the last time the course was taught (http://www.cl.cam.ac.uk/~mjcg/TempLogic/TempLogic.html). Here are create/restore details for the tarball. Create archive: # In directory TLMC tar -cvzf TLMC.tar.gz .; Restore archive: # In directory TLMC tar -xvzf TLMC.tar.gz; cd Lectures; sh < latex.script; cd ..; Thus to create your own copy of the sources: 1. make a new directory called TLMC mkdir TLMC; 2. download http://www.cl.cam.ac.uk/~mjcg/TLMC/TLMC.tar.gz into TLMC and unpack the tarball e.g. do: cd TLMC; wget http://www.cl.cam.ac.uk/~mjcg/TLMC/TLMC.tar.gz; tar -xvzf TLMC.tar.gz; 3. in directory TLMC execute the following (this is only tested on my Computer Lab machine kala) cd Lectures; sh < latex.script; cd ..; 4. access the material via the URL TLMC/index.html e.g. if TLMC is at /home/my-name/TLMC then the following URL should work in Firefox: file:///home/my-name/TLMC/index.html MJCG Wed May 6 09:55:06 BST 2015