> Being a binary only package coq should not have problems with .cmi > changes, up to (and this is a big UP TO) marshalling/unmarshalling since > AFAIK Coq plays a lot with it ...
Right, Coq does a lot of marshalling/umarshalling that also involves camlp4 data structures. And moreover there is coqide that uses threads and lablgtk2. The perfect mix of problems... -- ---------------------------------------------------------------- Real name: Claudio Sacerdoti Coen Doctor in Computer Science, University of Bologna E-mail: [EMAIL PROTECTED] http://www.cs.unibo.it/~sacerdot ---------------------------------------------------------------- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
