HomeIsabelle/Phabricator

metadata and sitegen for MiniSail

Description

metadata and sitegen for MiniSail

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP336dfa0f0b93: new entry: MiniSail
Branches
Unknown
Tags
Unknown

Event Timeline