NEW!
- The development version
- The 0.9.1 release is available
- The last paper describing this work.
NEW!
: fopen(index.log): failed to open stream: Permission denied in /home/cohen/www/work/CoqEAL/index.php on line 100
Warning: fwrite() expects parameter 1 to be resource, bool given in /home/cohen/www/work/CoqEAL/index.php on line 101
Warning: Use of undefined constant REMOTE_HOST - assumed 'REMOTE_HOST' (this will throw an Error in a future version of PHP) in /home/cohen/www/work/CoqEAL/index.php on line 102
Notice: Undefined index: REMOTE_HOST in /home/cohen/www/work/CoqEAL/index.php on line 102
Warning: Use of undefined constant REMOTE_ADDR - assumed 'REMOTE_ADDR' (this will throw an Error in a future version of PHP) in /home/cohen/www/work/CoqEAL/index.php on line 102
Warning: fwrite() expects parameter 1 to be resource, bool given in /home/cohen/www/work/CoqEAL/index.php on line 102
Warning: fclose() expects parameter 1 to be resource, bool given in /home/cohen/www/work/CoqEAL/index.php on line 103