https://sourceforge.net/p/z-vimes/home/Home/Recent changes to HomeenFri, 17 Jun 2011 21:52:37 -0000https://sourceforge.net/p/z-vimes/home/Home/<pre>--- v1 +++ v2 @@ -1,5 +1,5 @@ -Welcome to your wiki! - -This is the default page, edit it as you see fit. To add a page simply reference it within brackets, e.g.: [SamplePage]. - -The wiki uses [Markdown](/p/z-vimes/home/markdown_syntax/) syntax. +z-vimes +================================================================================ +Vimes is a command-line utility which accepts Z specifications in the form of LaTeX source marked up using the LaTeX commands given in the standard and reports any syntax or type errors. The Z notation supported is that of ISO-13568:2002. + +It is intended to develop it further to provide theorem proving facilities. </pre>Anonymous CowardFri, 17 Jun 2011 21:52:37 -0000https://sourceforge.net54581c63bd81aa884bad75c11046522d4c3b3490https://sourceforge.net/p/z-vimes/home/Home/Welcome to your wiki! This is the default page, edit it as you see fit. To add a page simply reference it within brackets, e.g.: [SamplePage]. The wiki uses [Markdown](/p/z-vimes/home/markdown_syntax/) syntax. Anonymous CowardFri, 17 Jun 2011 21:52:33 -0000https://sourceforge.net5ca8dfedb453d116b9ca9734283e6f13312684f2