[isabelle-dev] Option type for auto tools timeout

David Aspinall 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.

  - D.

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

More information about the isabelle-dev mailing list