Diffusion Isabelle ea6adb18730d

updated version;
ea6adb18730d
Actions

Tags

None

Subscribers

None

Description

updated version;

Details

Provenance

Authored on

Parents

rISABELLEbb1c829534ba: obsolete;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEea6adb18730d: updated version;.Feb 26 2020, 3:41 PM

Changes (1)

Path

Size

src/

Tools/

VSCode/

extension/

rISABELLEea6adb18730d

src/Tools/VSCode/extension/package.json

Loading...