Status

Changes

Console Output

View as plain text

View Build Information

Git Build Data

See Fingerprints

Open Blue Ocean

Pipeline Steps

Previous Build

Next Build

Changes

Summary

Generalize the semantics, with explanation. (details)

Commit 63013a13084dd0721df4f1daafc82515c7093638 by Hans.Olsson Generalize the semantics, with explanation.
The file was modified	chapters/annotations.tex (diff)