> >(IIRC one ot the source files is missing, you have to run the course notes 
> >through something like pstotext and then reconstruct it from the resulting 
> >debris).
> 
> Just a random off-topic hint:  sometimes it's better to convert to pdf and 
> then use the pdf text selection in acrobat to get the text.  Try 
> both.  You'd think this would be a solved problem.  ;)
> 
> Good luck,
> Chris

One more advice: you can also use gv that knows how to select text
directly from the PostScript file.

Stillanother one (with a touch of advertising): if you have the DVI,
Active-DVI can select the text for you from the DVI source file !

All the best!

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners