Diffusion Isabelle 51e696887b81

more uniform multi-language operations;
51e696887b81
Actions

Tags

None

Subscribers

None

Description

more uniform multi-language operations;

Details

Provenance

Authored on

Parents

rISABELLE9cf0b79dfb7f: more Haskell operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLE65a2482f772d: remove unused file following 51e696887b81;.Jun 22 2022, 12:12 AM

Changes (13)

Path

Size

General/

byte_message.ML

byte_message.scala

System/

system_channel.ML

Tools/

Tools/

Haskell/

VSCode/

src/

rISABELLE51e696887b81

src/Pure/General/bytes.scala

Loading...

src/Pure/General/symbol.scala

Loading...

src/Pure/PIDE/byte_message.ML

Loading...

src/Pure/PIDE/byte_message.scala

Loading...

src/Pure/ROOT.ML

Loading...

src/Pure/System/system_channel.ML

Loading...

src/Pure/Tools/server.scala

Loading...

src/Pure/build-jars

Loading...

src/Tools/Haskell/Haskell.thy

Loading...

src/Tools/VSCode/src/channel.scala

Loading...