Coquille survives when Coq dies ( fixes #4 ). I also call the xml parser less often, which should make coquille a bit more fluid.
Coquille survives when Coq dies ( fixes #4 ).
I also call the xml parser less often, which should make coquille a bit more fluid.

lgeorget/coquille,the-lambda-church/coquille,bluelightning32/coquille,c-cube/coquille,andy-morris/coquille,stelleg/coquille