HomeIsabelle/Phabricator

added js-side theory loading to afp site;

Description

added js-side theory loading to afp site;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP5857c4582eae: integrated metadata changes into site;
Branches
Unknown
Tags
Unknown