> Well, if coqide is binary only and does not perform dynamic loading of > bytecode objects there should be no problem with it.
It DOES perform dynamic loading of bytecode objects ;-) (I know it for sure, but even a simple "grep Dynlink coqide.byte" shows it) -- ---------------------------------------------------------------- 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]
