NEWS

2009/6/4 10:52:05 1430 reads

You can get the latest version of VDMTools Lite by logging in this web!
VDMTools Lite (VDM++ v8.2, VICE v8.2 beta, VDM-SL v8.2), the latest version of VDMTools Lite, has been released on Jun 4, 2009.

Please see here about how to use the new function of this version, and an UML link.

Note:
Correction is added also to the TeX style file (vdmsl-2e.sty, vpp.sty) of VDMTools enclosure on the relation which is adding the correction in the above-mentioned TeX output.
Since there is a possibility that compile of TeX may not pass if you use a former style file, please use the newest style file.

Change log:
- "UML Link" is made to correspond to qualifier.
- Corresponding "External Editor" is added.
- Output correction in the TeX output of "Pretty Prints".
- Improved stability of this software.