swift
[docs][RequirementMachine] Change document class of research paper
#42622
Merged

[docs][RequirementMachine] Change document class of research paper #42622

swift-ci merged 1 commit into swiftlang:main from philipturner:patch-34
philipturner
philipturner Update RequirementMachine.tex
e43d1e0d
philipturner philipturner marked this pull request as draft 3 years ago
philipturner philipturner marked this pull request as ready for review 3 years ago
philipturner
slavapestov
slavapestov approved these changes on 2022-04-26
slavapestov
slavapestov
swift-ci swift-ci merged 94df08dd into main 3 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone