Hi, On Tue, Mar 13, 2012 at 13:38, Hendrik Tews <[email protected]> wrote: > * License : HOL Light licence
According to the google code page, it's actually BSD. Laurent. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
