English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
RE: [Caml-list] Dumping the OCaml state
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-08-31 (19:53)
From: Harrison, John R <johnh@i...>
Subject: RE: [Caml-list] Dumping the OCaml state
| If I understand well the status of HOL-light, it is an unmaintained
| software written in a language which is no more developped

HOL Light is actively maintained, and is used for verification here
at Intel. Moreover, as Bob Solovay has already noted, an OCaml port
exists. However, there has been no recent public release, so I can
see how you might have got a mistaken impression. I hope to rectify
this situation soon, but various more pressing matters keep arising.

John.

-------------------
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