Diffusion Isabelle 912f13865596

support native PID for ML process;
912f13865596
Actions

Tags

None

Subscribers

None

Description

support native PID for ML process;

Details

Provenance

Authored on

Parents

rISABELLE438adb97d82c: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE912f13865596: support native PID for ML process;.Jul 16 2020, 10:24 PM

Changes (5)

Path

Size

rISABELLE912f13865596

src/Pure/ML/ml_pid.ML

Loading...

src/Pure/ROOT.ML

Loading...