Diffusion Isabelle c1c61d0d8e7c

clarified build_polyml_component: include IDE entry point for ML compiler;
c1c61d0d8e7c
Actions

Tags

None

Subscribers

None

Description

clarified build_polyml_component: include IDE entry point for ML compiler;

Details

Provenance

Authored on

Parents

rISABELLEd7f8ee80ad42: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc1c61d0d8e7c: clarified build_polyml_component: include IDE entry point for ML compiler;.Jan 19 2020, 2:23 PM

Changes (2)

Path

Size

Admin/

polyml/

src/

Pure/

Admin/

build_polyml.scala

rISABELLEc1c61d0d8e7c

Admin/polyml/settings

Loading...

src/Pure/Admin/build_polyml.scala

Loading...