On Wed, 29 Aug 2012, Christian Urban wrote:
On Wednesday, August 29, 2012 at 21:45:35 (+0200), Makarius wrote:
>
> It is still used for isatest runs, but it does not have to be made public
> as a crippled distribution that lacks most add-on components.
If it is only a small effort, I am happy
On Wednesday, August 29, 2012 at 21:45:35 (+0200), Makarius wrote:
>
> It is still used for isatest runs, but it does not have to be made public
> as a crippled distribution that lacks most add-on components.
If it is only a small effort, I am happy to keep
it. The add-on components can norm
This is another round of refinements concerning components and repository
build process (Isabelle/0febe9e433dd):
* A default configuration of Poly/ML is provided via
Admin/etc/components/main, which assumes the usual init_components in
ISABELLE_HOME_USER/etc/settings, as explained in R