Diffusion Isabelle fac28b6c37e8

support for Dagstuhl LIPIcs style with demo document;
fac28b6c37e8
Actions

Tags

None

Subscribers

None

Description

support for Dagstuhl LIPIcs style with demo document;

Details

Provenance

Authored on

Parents

rISABELLE9d3b9e89455f: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfac28b6c37e8: support for Dagstuhl LIPIcs style with demo document;.Oct 31 2022, 3:50 PM

Changes (18)

Path

Size

Admin/

components/

components.sha1

doc/

etc/

build_lipics.scala

System/

isabelle_tool.scala

Tools/

build_docker.scala

rISABELLEfac28b6c37e8

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

NEWS

Loading...

doc/Contents

Loading...

etc/build.props

Loading...

src/Doc/Demo_LIPIcs/Document.thy

Loading...

src/Doc/Demo_LIPIcs/document/root.bib

Loading...

src/Doc/Demo_LIPIcs/document/root.tex

Loading...

src/Doc/ROOT

Loading...

src/Pure/Admin/build_lipics.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/Tools/build_docker.scala

Loading...