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?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
