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
