License |
License |
---|---|
GroupId | GroupIdcom.anaplan.engineering |
ArtifactId | ArtifactIdvdm-pretty-printer |
Version | Version3.0.2 |
Type | Typepom.sha512 |
Description |
DescriptionVDM Pretty Printer
Tools to produce a pretty-printed representation of a VDM AST.
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
vdm-pretty-printer-3.0.2.pom | |
vdm-pretty-printer-3.0.2-sources.jar | 25 KB |
vdm-pretty-printer-3.0.2-javadoc.jar | 261 bytes |
Browse |
Group / Artifact | Type | Version |
---|---|---|
org.jetbrains.kotlin : kotlin-stdlib | jar | 1.5.31 |
org.jetbrains.kotlin : kotlin-reflect | jar | 1.5.31 |
org.overturetool.core : interpreter | jar | 3.0.2 |