jemnotesversion 2 / featuring this entry or see all/search

Aug 11
From this blog, it seems that to convert from a pdf to an eps the following is required.
gs -dBATCH -dNOPAUSE -dNOPROMPT -sDEVICE=epswrite -sOutputFile=new.eps old.pdf
There’s also an installer for ipe at the same blog.