Dear project student, this folder contains files to help you start your report. If there is any information (e.g. latex tips) that you think would be useful for a future student, please let me know and I will add it to the latex tips below. This folder contains an outline latex document for your report (littlereport.tex). The style file used is llncs, but you are free to search out an alternative if you wish. The document illustrates how to use bibtex, and a small bibliography is included. Don't worry if the papers in the bibliography are irrelevant to your project. If you do not refer to them in the text, they will not appear in the report. Run pdflatex and bibtex twice. You can then view your document using acrobat reader (or similar).For example > pdflatex littlereport > bibtex littlereport > pdflatex littlereport > bibtex littlereport Notice that in the example bibliography I have used cross referencing. The item which is cross-referenced TO must appear afterthe item that references it. There is also an example figure, Kripke.pdf. I find out the size of the bounding box by looking at the file itself with ghostview. Tips for future students --------------------------