History log of /seL4-l4v-master/HOL4/doc/kananaskis-1.release.html
Revision Date Author Comments
# cc6a6563 15-Jan-2014 Michael Norrish <michael.norrish@nicta.com.au>

Fix bad HTML in release notes for K-1.
# 12ed16da 09-Jun-2002 Konrad Slind <konrad.slind@gmail.com>

Put release notes into HTML, so that the read better when accessed from
mjcg's portal page.