Diffusion afp-devel 65f692dc5bbe

Fix LaTeX issue.
65f692dc5bbe
Actions

Tags

None

Subscribers

None

Description

Fix LaTeX issue.

Details

Provenance

Asta Halkjær From <andro.from@gmail.com>

Authored on

Parents

rAFP2d18ab671110: Qualification required(?)

Branches

Unknown

Tags

Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP65f692dc5bbe: Fix LaTeX issue..Feb 4 2022, 2:09 PM

Changes (1)

Path

Size

thys/

Public_Announcement_Logic/

document/

rAFP65f692dc5bbe

thys/Public_Announcement_Logic/document/root.tex

Loading...