@set localpintoshttppath http://@/www.stanford.edu/@/class/@/cs140/@/pintos/@/pintos.@/tar.gz
@set localpintosbindir /usr/class/cs140/`uname -m`/bin
@set localpintoshttppath http://@/www.stanford.edu/@/class/@/cs140/@/pintos/@/pintos.@/tar.gz
@set localpintosbindir /usr/class/cs140/`uname -m`/bin
@macro localmachines{}
The CS 140 ``officially supported'' Pintos development machines are
the machines in Sweet Hall managed by Stanford ITSS, as described on
@macro localmachines{}
The CS 140 ``officially supported'' Pintos development machines are
the machines in Sweet Hall managed by Stanford ITSS, as described on