[isabelle-dev] Future of ProofGeneral

Makarius makarius at sketis.net
Fri Apr 20 16:01:04 CEST 2012

The old things are now wrapped-up in the new way as Isabelle components:


This means the slightly odd "choosefrom" heuristics in 
Isabelle/etc/settings can be discontinued eventually. People hooked on the 
repository need to init one of the above components in the usual way in 
their etc/settings or etc/components


More information about the isabelle-dev mailing list