HomeIsabelle/Phabricator
Diffusion Isabelle 389d77e6be9f

support for Easychair style with demo document;
389d77e6be9f
Actions

Description

support for Easychair style with demo document;

Details

Provenance
makariusAuthored on
Parents
rISABELLEfac28b6c37e8: support for Dagstuhl LIPIcs style with demo document;
Branches
Unknown
Tags
Unknown

Changes (17)

PathSize
Admin/
components/
doc/
etc/
System/

rISABELLE389d77e6be9f

View Options

Admin/components/components.sha1

Loading...
View Options

Admin/components/main

Loading...
View Options

NEWS

Loading...
View Options

doc/Contents

Loading...
View Options

etc/build.props

Loading...
View Options

src/Doc/Demo_Easychair/Document.thy

Loading...
View Options

src/Doc/Demo_Easychair/document/root.bib

Loading...
View Options

src/Doc/Demo_Easychair/document/root.tex

Loading...
View Options

src/Doc/ROOT

Loading...
View Options

src/Pure/Admin/build_easychair.scala

Loading...
View Options

src/Pure/System/isabelle_tool.scala

Loading...