Diffusion afp-devel 90b7048e6e0a

proper Unix line ending;
90b7048e6e0a
Actions

Tags

None

Subscribers

None

Description

proper Unix line ending;

Details

Provenance

Authored on

Parents

rAFP5d0b5731d5d7: prefer current mathpartir.sty from underlying TeX distribution;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP90b7048e6e0a: proper Unix line ending;.Sep 11 2020, 2:20 PM

Changes (14)

Path

Size

thys/

Arith_Prog_Rel_Primes/

Arith_Prog_Rel_Primes.thy

document/

Banach_Steinhaus/

Banach_Steinhaus.thy

Banach_Steinhaus_Missing.thy

document/

FOL_Harrison/

document/

IMP2_Binary_Heap/

IMP2_Binary_Heap.thy

Irrational_Series_Erdos_Straus/

Irrational_Series_Erdos_Straus.thy

Jordan_Normal_Form/

document/

Paraconsistency/

document/

Recursion-Addition/

rAFP90b7048e6e0a

thys/Arith_Prog_Rel_Primes/Arith_Prog_Rel_Primes.thy

Loading...

thys/Arith_Prog_Rel_Primes/document/root.bib

Loading...

thys/Arith_Prog_Rel_Primes/document/root.tex

Loading...

thys/Banach_Steinhaus/Banach_Steinhaus.thy

Loading...

thys/Banach_Steinhaus/Banach_Steinhaus_Missing.thy

Loading...

thys/Banach_Steinhaus/ROOT

Loading...

thys/Banach_Steinhaus/document/root.bib

Loading...

thys/Banach_Steinhaus/document/root.tex

Loading...

thys/FOL_Harrison/document/root.tex

Loading...

thys/IMP2_Binary_Heap/IMP2_Binary_Heap.thy

Loading...

thys/Irrational_Series_Erdos_Straus/Irrational_Series_Erdos_Straus.thy

Loading...

thys/Jordan_Normal_Form/document/root.tex

Loading...

thys/Paraconsistency/document/root.tex

Loading...

thys/Recursion-Addition/recursion.thy

Loading...