Diffusion Isabelle 1e7319957408

clarified website: redirect to isabelle-dev Phabricator Overview;
1e7319957408
Actions

Tags

None

Subscribers

None

Description

clarified website: redirect to isabelle-dev Phabricator Overview;

Details

Provenance

Authored on

Parents

rISABELLE58aa62b8c6d3: more documentation;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE1e7319957408: clarified website: redirect to isabelle-dev Phabricator Overview;.Dec 11 2019, 7:14 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_devel.scala

rISABELLE1e7319957408

src/Pure/Admin/isabelle_devel.scala

Loading...