Commits


venti/verifyarena: shorter output, aligned i/o


venti: allow partition syntax in verifyarena (Michael Kaminsky)


OS X linker crap (John Nowak)


checkpoint


assorted changes from Plan 9


return of venti