Diffusion Isabelle b5822f4c3fde

tuned -- avoid deprecated constructors;
b5822f4c3fde
Actions

Tags

None

Subscribers

None

Description

tuned -- avoid deprecated constructors;

Details

Provenance

Authored on

Parents

rISABELLE4b3e1b859a22: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEb5822f4c3fde: tuned -- avoid deprecated constructors;.Nov 25 2019, 12:19 PM

Changes (5)

Path

Size

src/

Pure/

Admin/

build_log.scala

General/

Tools/

fontforge.scala

Tools/

jEdit/

src/

fold_handling.scala

rISABELLEb5822f4c3fde

src/Pure/Admin/build_log.scala

Loading...

src/Pure/General/time.scala

Loading...

src/Pure/General/url.scala

Loading...

src/Pure/Tools/fontforge.scala

Loading...

src/Tools/jEdit/src/fold_handling.scala

Loading...