Diffusion Isabelle 0dd14d8b16da

support for JSON:API;
0dd14d8b16da
Actions

Tags

None

Subscribers

None

Description

support for JSON:API;

Details

Provenance

Authored on

Parents

rISABELLE4dc90b43ba94: support for Flarum server;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0dd14d8b16da: support for JSON:API;.Dec 15 2021, 11:18 PM

Changes (6)

Path

Size

etc/

Tools/

rISABELLE0dd14d8b16da

etc/build.props

Loading...

src/Pure/General/json_api.scala

Loading...

src/Pure/Tools/flarum.scala

Loading...