History log of /seL4-l4v-master/HOL4/doc/kananaskis-2.release.html
Revision Date Author Comments
# 05a07e4b 07-Mar-2004 Michael Norrish <Michael.Norrish@nicta.com.au>

* moved kananaskis-2 release notes across from branch
* removed non-HTML version of (old) kananaskis-2 notes
* shifted kananaskis-2 notes into new HTML form with kananaskis-3 name.
We can generate ASCII version using lynx -dump.