HomeIsabelle/Phabricator
Diffusion Isabelle 2b4c40722f0b

updated to isabelle_fonts-20190717;
2b4c40722f0b
Actions

Description

updated to isabelle_fonts-20190717;

Details

Provenance
makariusAuthored on
Parents
rISABELLE2d337a2a561a: redundant;
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (3)

PathSize
Admin/
components/
isabelle_fonts/

rISABELLE2b4c40722f0b

View Options

Admin/components/components.sha1

Loading...
View Options

Admin/components/main

Loading...
View Options

Admin/isabelle_fonts/README

Loading...