On Mon, 2007-06-11 at 10:28 +1000, [EMAIL PROTECTED] wrote: > ...several (but certainly not all) aspects of the verification work > have already been released under a 3-clause BSD license...
Harvey: That's wonderful! And thank you for the update. Jonathan _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
