Diffusion Isabelle 1bbbaae6b5e3

option document_logo;
1bbbaae6b5e3
Actions

Description

option document_logo;

Details

Provenance

makarius

Authored on

Parents

rISABELLE9e1de6fb9579: proper options;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1bbbaae6b5e3: option document_logo;.May 18 2021, 3:17 PM

Changes (38)

Path

Size

NEWS

etc/

options

src/

Doc/

Classes/

document/

build

root.tex

Codegen/

document/

build

root.tex

Corec/

document/

root.tex

Datatypes/

document/

root.tex

Eisbach/

document/

build

root.tex

How_to_Prove_it/

document/

root.tex

Implementation/

document/

build

root.tex

Intro/

document/

build

root.tex

Isar_Ref/

document/

build

root.tex

JEdit/

document/

build

root.tex

Logics/

document/

build

root.tex

Logics_ZF/

document/

build

root.tex

Nitpick/

document/

build

root.tex

Prog_Prove/

document/

build

root.tex

ROOT

Sledgehammer/

document/

build

root.tex

System/

document/

build

root.tex

Tutorial/

document/

build

root.tex

Typeclass_Hierarchy/

document/

build

root.tex

Pure/

Thy/

document_build.scala

Tools/

logo.scala

rISABELLE1bbbaae6b5e3

View Options

NEWS

View Options

etc/options

View Options

src/Doc/Classes/document/build

View Options

src/Doc/Classes/document/root.tex

View Options

src/Doc/Codegen/document/build

View Options

src/Doc/Codegen/document/root.tex

View Options

src/Doc/Corec/document/root.tex

View Options

src/Doc/Datatypes/document/root.tex

View Options

src/Doc/Eisbach/document/build

View Options

src/Doc/Eisbach/document/root.tex

View Options

src/Doc/How_to_Prove_it/document/root.tex

View Options

src/Doc/Implementation/document/build

View Options

src/Doc/Implementation/document/root.tex

View Options

src/Doc/Intro/document/build

View Options

src/Doc/Intro/document/root.tex

View Options

src/Doc/Isar_Ref/document/build

View Options

src/Doc/Isar_Ref/document/root.tex

View Options

src/Doc/JEdit/document/build

View Options

src/Doc/JEdit/document/root.tex

View Options

src/Doc/Logics/document/build

View Options

src/Doc/Logics/document/root.tex

View Options

src/Doc/Logics_ZF/document/build

View Options

src/Doc/Logics_ZF/document/root.tex

View Options

src/Doc/Nitpick/document/build

View Options

src/Doc/Nitpick/document/root.tex

View Options

src/Doc/Prog_Prove/document/build

View Options

src/Doc/Prog_Prove/document/root.tex

View Options

src/Doc/ROOT

View Options

src/Doc/Sledgehammer/document/build

View Options

src/Doc/Sledgehammer/document/root.tex

View Options

src/Doc/System/document/build

View Options

src/Doc/System/document/root.tex

View Options

src/Doc/Tutorial/document/build

View Options

src/Doc/Tutorial/document/root.tex

View Options

src/Doc/Typeclass_Hierarchy/document/build

View Options

src/Doc/Typeclass_Hierarchy/document/root.tex

View Options

src/Pure/Thy/document_build.scala

View Options

option document_logo;1bbbaae6b5e3Actions

Description

Details

Event Timeline

Changes (38)

rISABELLE1bbbaae6b5e3

NEWS

etc/options

src/Doc/Classes/document/build

src/Doc/Classes/document/root.tex

src/Doc/Codegen/document/build

src/Doc/Codegen/document/root.tex

src/Doc/Corec/document/root.tex

src/Doc/Datatypes/document/root.tex

src/Doc/Eisbach/document/build

src/Doc/Eisbach/document/root.tex

src/Doc/How_to_Prove_it/document/root.tex

src/Doc/Implementation/document/build

src/Doc/Implementation/document/root.tex

src/Doc/Intro/document/build

src/Doc/Intro/document/root.tex

src/Doc/Isar_Ref/document/build

src/Doc/Isar_Ref/document/root.tex

src/Doc/JEdit/document/build

src/Doc/JEdit/document/root.tex

src/Doc/Logics/document/build

src/Doc/Logics/document/root.tex

src/Doc/Logics_ZF/document/build

src/Doc/Logics_ZF/document/root.tex

src/Doc/Nitpick/document/build

src/Doc/Nitpick/document/root.tex

src/Doc/Prog_Prove/document/build

src/Doc/Prog_Prove/document/root.tex

src/Doc/ROOT

src/Doc/Sledgehammer/document/build

src/Doc/Sledgehammer/document/root.tex

src/Doc/System/document/build

src/Doc/System/document/root.tex

src/Doc/Tutorial/document/build

src/Doc/Tutorial/document/root.tex

src/Doc/Typeclass_Hierarchy/document/build

src/Doc/Typeclass_Hierarchy/document/root.tex

src/Pure/Thy/document_build.scala

src/Pure/Tools/logo.scala

option document_logo;
1bbbaae6b5e3
Actions