From: Anthony H. <an...@an...> - 2012-10-14 10:57:15
|
Dear Z users There is a new release of the Z Word Tools, Release 3.2 Release 3.2 includes a tool to convert from Spivey Z to Standard Z. As well as converting specifications in Word, this can be downloaded separately to convert LaTeX files on any system. It can be used stand-alone or as a Java class incorporated into other Standard-based tools. Other changes make it easier to avoid corrupting the document structure, fix some problems with erratic behaviour of the automatic formatting, and improve the load/unload behaviour. The release works with all versions of Word, including Word 2013 (currently in preview). The tools are available from http://sourceforge.net/projects/zwordtools/ I hope you find this useful. Of course, please let me know if you find any problems. Anthony Anthony Hall 22 Hayward Road Oxford OX2 8LW UK +44 (0) 7779 255147 <mailto:an...@an...> an...@an... <http://anthonyhall.org> http://anthonyhall.org |