Fui a un montón de problemas obtención de coq instalado en mi Mac (Mavericks) y que de hecho no instalar coqide a lo largo de...
Por desgracia 'brew opciones coq' no tiene resultados, así que no sé cómo instalar correctamente coqide.
Si es demasiado complicado, está bien, yo daría la bienvenida a cualquier alternativa de solución (como un plugin de sublime text o tal).
Gracias.
El mismo error (en el existente publicado binario) se informó aquí:
http://www.lix.polytechnique.fr/coq/bugs/show_bug.cgi?id=3155
y en los comentarios un enlace a las versiones recientes se está dada:
http://www.pps.univ-paris-diderot.fr/~pboutill/coq-noche/v8.4/
Yo no sé acerca de la estabilidad, pero 8.4pl4 parece estar trabajando en Mavericks. Yo era capaz de construir o instalar el siguiente archivo LÉAME de instrucciones (podría, además, requieren la instalación de OCaml y otras herramientas, que se me ha ocurrido que ya tiene). El asociado coqide también parece estar funcionando sin problemas.
Yo no soy un experimentado Coq usuario, así que si hay alguna funcionalidad o estabilidad de las consideraciones en este no-versión publicada, a continuación, que sería ir muy lejos por encima de mi cabeza.
AppleAyuda es una comunidad de usuarios de los productos de Apple en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
