Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: -- (:)
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.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: