Diffusion Isabelle 7419b8d473ac

merged
7419b8d473ac
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rISABELLE890783dc4bc6: tuned signature;
rISABELLE74147aa81dbb: more specific name for type class

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7419b8d473ac: merged.Sun, Nov 12, 10:34 PM

Merged Changes

74147aa81dbb more specific name for type class
Author
florian.haftmann
Browse Repository
No Builds
No Audits

Changes (11)

Path

Size

src/

Pure/

Admin/

build_history.scala

General/

long_name.scala

ML/

PIDE/

System/

Tools/

build_cluster.scala

profiling.scala

rISABELLE7419b8d473ac

src/Pure/Admin/build_history.scala

Loading...

src/Pure/General/bytes.scala

Loading...

src/Pure/General/file.scala

Loading...

src/Pure/General/long_name.scala

Loading...

src/Pure/General/mailman.scala

Loading...

src/Pure/General/path.scala

Loading...

src/Pure/ML/ml_heap.scala

Loading...

src/Pure/PIDE/headless.scala

Loading...

src/Pure/System/registry.scala

Loading...

src/Pure/Tools/build_cluster.scala

Loading...

src/Pure/Tools/profiling.scala

Loading...