History log of /seL4-l4v-10.1.1/HOL4/examples/dev/sw/ANF.sig
Revision Date Author Comments
# 09e73994 28-Jan-2006 Konrad Slind <konrad.slind@gmail.com>

Small changes needed to make it compile.
# c49747ad 21-Dec-2005 Konrad Slind <konrad.slind@gmail.com>

*** empty log message ***
# df021246 30-Oct-2005 Konrad Slind <konrad.slind@gmail.com>

Added a new "sw" directory for the software compiler being
written by Li, Owens, and Slind. This is a temporary hiding
place for work-in-progress.