[isabelle-dev] NEWS

Makarius makarius at sketis.net
Mon Jan 4 11:58:23 CET 2010


* Discontinued special HOL_USEDIR_OPTIONS for the main HOL image;
ISABELLE_USEDIR_OPTIONS applies uniformly to all sessions.  Note that
proof terms are enabled unconditionally in the new HOL-Proofs image.


 	Makarius


More information about the isabelle-dev mailing list