# HG changeset patch # User rlm # Date 1271808586 14400 # Node ID 5e0595db14f6a2f81d87df753ad101c1b014d4b0 # Parent 996f1d6cd0106674d8813345abefdb12fc8af441 [svn r4] added bluespec manual to documents diff -r 996f1d6cd010 -r 5e0595db14f6 documents/Popular2.pdf Binary file documents/Popular2.pdf has changed diff -r 996f1d6cd010 -r 5e0595db14f6 documents/week2.pdf Binary file documents/week2.pdf has changed