[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS
krauss at in.tum.de
Mon Jul 9 22:48:09 CEST 2012
On 07/05/2012 12:06 PM, Makarius wrote:
> This is now converging to a very reasonable scheme.
>> * The existing php script can be used to serve this directory via HTTP.
>> * Non-free components are marked as such simply via file permissions,
>> i.e., by having the world-readable flag unset. Since Apache runs under
>> group "isabelle", we might have to set the group to something else
>> (e.g., an imagined "isabelle-admin").
I now modified the php script to actually hide files that are not public
and removed all other "features" that it had. See now
/home/isabelle/components (which replaces "public_components").
The content of this directory was still quite random, and to
consolidate, I removed everything where I wasn't sure that I copied it
myself from some official source.
So consider this a call for official components. Currently we are
missing at least the following (from Admin/components as of cccc92c0addc):
When these are in place, I'll add the checksum stuff.
More information about the isabelle-dev