HomeIsabelle/Phabricator
Diffusion afp-devel 8f3ba551a991

fix latex generation
8f3ba551a991
Actions

Description

fix latex generation

Details

Provenance
Anders Schlichtkrull <andsch@cs.aau.dk>Authored on
Parents
rAFP582bad32ddbf: Backed out changeset 8eb0a45852dc
Branches
Unknown
Tags
Unknown

Event Timeline

Anders Schlichtkrull <andsch@cs.aau.dk> committed rAFP8f3ba551a991: fix latex generation.Sep 1 2023, 10:29 AM

Changes (1)

PathSize
thys/
Paraconsistency/
document/

rAFP8f3ba551a991

View Options

thys/Paraconsistency/document/root.tex

Loading...