Search Results for "case tools"

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.

SVR is free and open source software for renaming videos and subtitles Features: Group renaming (deleting, inserting, serialization, replacing and case), Drag n Drop file (supported video files avi, mp4, mkv, wmv, and supported subtitles files are txt, sub, srt), Renaming by video file name, or by Subtitle file name, Cross platform application, it works on Windows, Linux, Unix, Mac OS, Renaming large number of files Multilingual (thanks to Yuri Bongiorno) English Italian (thanks to Yuri Bongiorno) Serbian Hungarian (thanks to Csernai Árpád) French (thanks to Soopa) Turkish (thanks to Gökhan Atış ) NOTE: For version 0.6.0 and newer please install Visual Studio Redistributable (x86) you can find it on https://visualstudio.microsoft.com/downloads/ under 'Other tools and Frameworks' From version 0.5.1 please install Visual Studio 2015 Redistributable (x86)

Solution and project files for compiling pixman/cairo with Visual Studio 2012 without the need of msys, cygwin or mozilla build tools. Only the pixman/cairo source is needed. The projects compile pixman/cairo into static libraries without additional dependencies, but are easy to modify if you need PDF, SVG or PNG support (in which case you will have to supply libpng and zlib.) No source files from the original projects are included, but will work as-is if you follow the instructions in the readme file. ...