Last Version

VDM Pretty Printer 3.0.2

Tools to produce a pretty-printed representation of a VDM AST.

License	License MIT License
GroupId	GroupId com.anaplan.engineering
ArtifactId	ArtifactId vdm-pretty-printer
Version	Version 3.0.2
Type	Type pom.sha512
Description	Description VDM Pretty Printer Tools to produce a pretty-printed representation of a VDM AST.
Project URL	Project URL https://github.com/anaplan-engineering/vdm-pretty-printer
Source Code Management	Source Code Management https://github.com/anaplan-engineering/vdm-pretty-printer

Download vdm-pretty-printer 3.0.2

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

Dependencies

runtime (3)

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

Project Modules

There are no modules declared in this project.