Stefan Kebekus 1b01ebcb92 Add GIT support

2023-03-30 10:32:07 +02:00

..

templates

Initial checkout

2023-03-30 10:13:25 +02:00

construction.eps

Initial checkout

2023-03-30 10:13:25 +02:00

construction.pdf

Initial checkout

2023-03-30 10:13:25 +02:00

construction.svg

Initial checkout

2023-03-30 10:13:25 +02:00

danger.eps

Initial checkout

2023-03-30 10:13:25 +02:00

danger.svg

Initial checkout

2023-03-30 10:13:25 +02:00

disaster.eps

Initial checkout

2023-03-30 10:13:25 +02:00

disaster.pdf

Initial checkout

2023-03-30 10:13:25 +02:00

disaster.svg

Initial checkout

2023-03-30 10:13:25 +02:00

paperVersion-preprint.tex

Initial checkout

2023-03-30 10:13:25 +02:00

paperVersion-publication.tex

Initial checkout

2023-03-30 10:13:25 +02:00

paperVersion-publicationPreview.tex

Initial checkout

2023-03-30 10:13:25 +02:00

paperVersion-working.tex

Add GIT support

2023-03-30 10:32:07 +02:00

question.eps

Initial checkout

2023-03-30 10:13:25 +02:00

question.pdf

Initial checkout

2023-03-30 10:13:25 +02:00

question.svg

Initial checkout

2023-03-30 10:13:25 +02:00

set-externals.sh

Initial checkout

2023-03-30 10:13:25 +02:00

setupProject.py

Initial checkout

2023-03-30 10:13:25 +02:00

stdPreamble.tex

Initial checkout

2023-03-30 10:13:25 +02:00

Strategyforproof.pdf

Initial checkout

2023-03-30 10:13:25 +02:00

svn-propset.sh

Initial checkout

2023-03-30 10:13:25 +02:00

varphi.tex

Initial checkout

2023-03-30 10:13:25 +02:00

warning.eps

Initial checkout

2023-03-30 10:13:25 +02:00

warning.pdf

Initial checkout

2023-03-30 10:13:25 +02:00

warning.svg

Initial checkout

2023-03-30 10:13:25 +02:00