Commit Graph

3 Commits

Author SHA1 Message Date
a798462498 Had to get these files back using checkout and the sha1 codes of
previous commits
2011-11-11 19:02:18 +00:00
a702c40d67 put proof for comparison equations in
PLT
2011-11-11 18:35:43 +00:00
Robin Clark
d8788e0ca8 made sure can compile at work, and
adjusted Makefile
2011-10-04 09:08:36 +01:00