Diffusion Isabelle 7df5c110a43c

support database dump;
7df5c110a43c
Actions

Tags

None

Subscribers

None

Description

support database dump;

Details

Provenance

Authored on

Parents

rISABELLEe2fb60756fb8: proper check of Linux version;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE7df5c110a43c: support database dump;.Dec 11 2019, 2:29 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

phabricator.scala

rISABELLE7df5c110a43c

src/Pure/Tools/phabricator.scala

Loading...