Re: [GiNaC-list] I could not find headers for libreadline