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