[isabelle-dev] Option type for auto tools timeout
David.Aspinall at ed.ac.uk
Tue Jan 11 17:23:13 CET 2011
> (error "defpacustom: missing :type keyword or wrong :type value")
Thanks -- just patched pg-pamacs.el which should fix. Can you re-try?
> 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?
Should be good to go to fit with Isabelle-X release. Had hoped Coq
multiple-file patch would be ready but probably won't.
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
More information about the isabelle-dev