[isabelle-dev] Towards release

Makarius makarius at sketis.net
Mon Sep 19 11:25:32 CEST 2011


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



More information about the isabelle-dev mailing list