Diffusion Isabelle 79736ffe77c3

some support for Phabricator server;
79736ffe77c3
Actions

Tags

None

Subscribers

None

Description

some support for Phabricator server;

Details

Provenance

Authored on

Parents

rISABELLEacc3bac0d7c5: support for Linux packages;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE79736ffe77c3: some support for Phabricator server;.Oct 30 2019, 3:50 PM

Changes (7)

Path

Size

etc/

System/

isabelle_tool.scala

phabricator.scala

rISABELLE79736ffe77c3

etc/options

Loading...

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/Tools/phabricator.scala

Loading...

src/Pure/build-jars

Loading...