levraipixel / coquille Goto Github PK

Essential packages :
- build-essential
- libqt4-dev
- coq

************************************************************************
To compile :
make

WARNING : to compile with Snow Leopard you must use QT 4.6.0 or later
************************************************************************
------------------------------------------------------------------------
************************************************************************
To execute :

Linux : './coquille'
Mac OSX : 'open coquille.app'
************************************************************************

Package hosting (not updated for the moment) :
deb http://perso.ens-lyon.fr/yann.hourdel/apt karmic main
deb-src http://perso.ens-lyon.fr/yann.hourdel/apt karmic main

http://code.google.com/p/coquille/