CoCoA Project

02 Jun 2015

13:19 CoCoA-5 Feature #719: Readline: consider creating a textual interpreter with readline

A commandline option to disable readline is probably a good idea. It is the most flexible.
You can then also add some... Christof Soeger

12:05 CoCoA-5 Feature #719: Readline: consider creating a textual interpreter with readline

And it also works fine for me. Is it also possible to include a tab-completion? :)
Only problem is that the tests of... Christof Soeger

11:27 CoCoA-5 Feature #719: Readline: consider creating a textual interpreter with readline

My first try was not successfull. Durign the configure I got... Christof Soeger

01 Jun 2015

17:50 CoCoA-5 Bug #712: External Libs: missing dependencies in Makefiles

Depending on the source files would maybe be to much. It can not know how to recompile the external library.
What I ... Christof Soeger