[Agda] Re: lhs2TeX for agda

Neil Sculthorpe nas at Cs.Nott.AC.UK
Fri Jul 16 13:48:43 CEST 2010


Hi Ondrej

I got the same error after installing lhs2tex 1.15 (though I'm on Ubuntu).

The problem seemed to be that the files in 
"/usr/local/share/lhs2tex-1.15/" (which includes Agda.fmt) were only 
readable by the user.  Setting them to be readable by all solved it for me.

Neil


More information about the Agda mailing list