Diffusion Isabelle 715f1bd21993

obsolete (see also f627ab8c276c);
715f1bd21993
Actions

Tags

None

Subscribers

None

Description

obsolete (see also f627ab8c276c);

Details

Provenance

Authored on

Parents

rISABELLEecb02f288636: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE715f1bd21993: obsolete (see also f627ab8c276c);.Wed, Nov 8, 12:41 PM

Changes (1)

Path

Size

etc/

rISABELLE715f1bd21993

etc/options

Loading...