more changes
authorbrian <brian@brianweb.net>
Sat, 20 Mar 2004 03:50:18 +0000 (19:50 -0800)
committerbrian <brian@brianweb.net>
Sat, 20 Mar 2004 03:50:18 +0000 (19:50 -0800)
commite1c93788e00ec4b8232044893d6c9cd0a1173cfe
treec16e252e298d071d2cf5db9afb3744575fd6ba2e
parent04c36ab522bc8f0c3c8dd7f8bde0859abaa4c480
more changes

darcs-hash:20040320035018-24bed-296dda663e34ddec3fa341cf51a05ffe4a600b7b.gz
doc/nestedvm.ivme04.tex