[eclipse-clp-users] Permission to reprint documentation

Hello,

My name is Nikos Christoforidis, i am doing my 3rd year dissertation "University Timetabling using Constraint Logic Programming" with ECLiPSe. 

In the appendices of my report, I'd like to reproduce the documentation for some of the methods and strategies for ic:search/6, found in the e-manual page of the predicate. Do I need permission of the authors of lib(ic)? And if yes, is anyone of them reading this list??

By the way, I used the lib(coverage) as part of the testing and actually I found a lot of bugs in my implementation thanks to those useful coverage counters! 

Thanks,
Nikos

-- 
kot23_at_otenet.gr