[
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: | David MENTRE <dmentre@l...> |
| Subject: | Re: [Caml-list] announce: Focal version 0.2beta |
Hello Damien, Damien Doligez <damien.doligez@inria.fr> writes: > We are pleased to announce the release of Focal version 0.2beta. I have updated the list I try to maintain on free software tools for formal developments: http://gulliver.eu.org/ateliers/fv-tools/index.html Let me know if you have any addition/fix/... Does the code in Focal 0.2beta contain all the code available in previous releases of FoC? BTW, many thanks for the BSD-like license. I think a real free software license like the one you have chosen is a requirement for the wide use of formal tools. Yours, david -- pub 1024D/A3AD7A2A 2004-10-03 David MENTRE <dmentre@linux-france.org> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners