cs Sep 29, 2014

loop invariant : by describing something that does not change (vary)
class invariant : something in the object that never changes. / features of the object that never change.

Object Z
try replacing by the following in cs116a.bat
qemu -m 512M -hda tinycore.img  -hdb texlive.img -drive file=fat:rw:../lab -rdir tcp:2222::22

cp lab2/packages.tex to lab3

put in packages.tex the following :
hyperref


to Do OZ
cd /mnt/sdb1/texlive

sudo tlmgr install oz
tce-load -wi wget

cd
unzip obectz.zip
cd objectz/
ls
latex oz.ins
ls
cd oz.sty ../lab3
cd lab3