Diffusion Isabelle 4dc90b43ba94

support for Flarum server;
4dc90b43ba94
Actions

Tags

None

Subscribers

None

Description

support for Flarum server;

Details

Provenance

Authored on

Parents

rISABELLE9b14491ca5c6: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4dc90b43ba94: support for Flarum server;.Dec 15 2021, 7:41 PM

Changes (6)

Path

Size

etc/

General/

rISABELLE4dc90b43ba94

etc/build.props

Loading...

src/Pure/General/http.scala

Loading...

src/Pure/Tools/flarum.scala

Loading...