Browse thread
First release of focalize, a development environment for high integrity programs.
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Martin Jambon <martin.jambon@e...> |
| Subject: | Re: [Caml-list] First release of focalize, a development environment for high integrity programs. |
David MENTRE wrote: > For those interested in such details, FoCaLize seems to be under a > BSD-like license (I have not made a detailed review of the code). I > would be interested to know if knowledged people (e.g. Debian > developers ;-) consider this code Free Software or not. Let me take the bait and bury it. Such discussion would be 100% off-topic. Thanks. Martin -- http://mjambon.com/