Diffusion Isabelle 69af424b1f9d

less verbosity, amending 3bc49507bae5;
69af424b1f9d
Actions

Tags

None

Subscribers

None

Description

less verbosity, amending 3bc49507bae5;

Details

Provenance

Authored on

Parents

rISABELLE3481e54bd8f1: tuned comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE69af424b1f9d: less verbosity, amending 3bc49507bae5;.Mar 6 2023, 9:50 AM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

session_build.scala

rISABELLE69af424b1f9d

src/Tools/jEdit/src/session_build.scala

Loading...