Version (Java-Geometry-Expert 0.87 API)

java.lang.Object
- wprover.Version

```
public class Version
extends java.lang.Object
```
Version is a class that provides version information for the Geometry Expert project. It includes methods to retrieve the version number, project name, and release date.

Constructor Summary

Constructors
Constructor Description

Version()

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static java.lang.String`	`getData()`	Returns the date as a string.
`static java.lang.String`	`getNameAndVersion()`	Returns the project name and version as a single string.
`static java.lang.String`	`getProject()`	Returns the project name.
`static java.lang.String`	`getVersion()`	Returns the project name surrounded by spaces.
`static java.lang.String`	`getVersion1()`	Returns the version as a string.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - Version
```
public Version()
```
- Method Detail
  - getVersion1
```
public static final java.lang.String getVersion1()
```
    Returns the version as a string.
    
    Returns:
    
    the version string
  - getNameAndVersion
```
public static final java.lang.String getNameAndVersion()
```
    Returns the project name and version as a single string.
    
    Returns:
    
    the project name and version string
  - getVersion
```
public static final java.lang.String getVersion()
```
    Returns the project name surrounded by spaces.
    
    Returns:
    
    the project name with surrounding spaces
  - getProject
```
public static final java.lang.String getProject()
```
    Returns the project name.
    
    Returns:
    
    the project name
  - getData
```
public static final java.lang.String getData()
```
    Returns the date as a string.
    
    Returns:
    
    the date string