On Sun, 18 Sep 2011, Mamoun FILALI-AMINE wrote:
Unofficial version of Isabelle/HOL (Isabelle repository snapshot 68615b48cc12
11-Sep-2011)
The paths seem to be not set as before:when asking for a draft, pdflatex is
not found (as before)
Are you using Mac OS X? What does the following say in the Terminal?
which pdflatex
When using Macports it could be /opt/local/bin/pdflatex but MacTeX has
/usr/textbin/pdflatex
Note that for the Isabelle.app bundle the PATH is configured in
Isabelle_11-Sep-2011.app/Contents/Resources/script
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
