Diffusion isabelle-website 22f21ea82569

updated screenshot;
22f21ea82569
Actions

Tags

None

Subscribers

None

Description

updated screenshot;

Details

Provenance

makarius	Authored on
makarius	Pushed on Jan 12 2021, 9:56 PM

Parents

rWEBSITE5dafb3aedaec: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rWEBSITE22f21ea82569: updated screenshot;.Jan 12 2021, 9:56 PM

Changes (1)

Path

Size

img/

isabelle_jedit.png

rWEBSITE22f21ea82569

img/isabelle_jedit.png

Loading...