Next:
Preferences
Up:
Version Numbering
Previous:
mred:add-version-spec
mred:version
(mred:version)
->
string
This gets the current version number
PLT
![[previous]](../icons/left.gif){kind=icon}
![[up]](../icons/up.gif){kind=icon}
![[next]](../icons/right.gif){kind=icon}
![[contents]](../icons/contents.gif){kind=icon}
![[index]](../icons/index.gif){kind=icon}