[isabelle-dev] Option type for auto tools timeout

Makarius makarius at sketis.net
Tue Jan 11 16:59:48 CET 2011

On Thu, 16 Dec 2010, David Aspinall wrote:

>> The dealine for the next Isabelle release is shortly after the start of 
>> the year 2011.  If PG 4.1 is available by then, and works on Linux, Mac 
>> OS, Cygwin with the usual Emacsen, I see no problem emit "pgreal" for 
>> real-valued preferences.
> There is a patch now committed in PG CVS for a type "pgipfloat". 
> Officially syntax should match spec here: 
> http://www.w3.org/TR/xmlschema-2/#float Emacs is not going to check but 
> other stricter tools might.

I have tried that, but it does not quite work yet:

   (error "defpacustom: missing :type keyword or wrong :type value")

A quick grep through the elisp sources reveals that the 'float tag is not 
always handled in correspondance to 'integer, for example.

What is the release schedule for PG 4.1 anyway?


More information about the isabelle-dev mailing list