Diffusion afp-devel 8c56f5c6b995

cleanup accidental unused document files;
8c56f5c6b995
Actions

Tags

None

Subscribers

None

Description

cleanup accidental unused document files;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP8f3963fc318e: check ROOTs: add warning-only checks;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP8c56f5c6b995: cleanup accidental unused document files;.Jan 13 2023, 11:06 AM

Changes (28)

Path

Size

Aristotles_Assertoric_Syllogistic

Auto2_Imperative_HOL

Binding_Syntax_Theory

Order_Lattice_Props

Sigma_Commit_Crypto

Stochastic_Matrices

Undirected_Graph_Theory

rAFP8c56f5c6b995

thys/Aristotles_Assertoric_Syllogistic/document/root.bib

Loading...

thys/Auto2_Imperative_HOL/document/root.log

Loading...

thys/Binding_Syntax_Theory/document/root.log

Loading...

thys/DPRM_Theorem/document/root.log

Loading...

thys/Incompleteness/document/root.bbl

Loading...

thys/Order_Lattice_Props/document/root.log

Loading...

thys/Sigma_Commit_Crypto/document/root.log

Loading...

thys/Stochastic_Matrices/document/root.log

Loading...

thys/Undirected_Graph_Theory/document/root.log

Loading...