HomeIsabelle/Phabricator
Diffusion afp-devel f5b7116751a9

documented recent changes
f5b7116751a9
Actions

Description

documented recent changes

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP43c62567dc63: documented changes in Show-entry
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPf5b7116751a9: documented recent changes.Fri, Apr 12, 12:30 PM

Changes (2)

PathSize
metadata/
entries/

rAFPf5b7116751a9

View Options

metadata/entries/Berlekamp_Zassenhaus.toml

Loading...
View Options

metadata/entries/Polynomial_Factorization.toml

Loading...