Search Results for "edit iso"

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.

Web interfaced music juke box for Raspberry Pi Features set auto scan local and remote storage for music file and store them in database with separated type, quality, year, genre, album, artist, composer, song, duration, tags, and original location Manually adding directories or songs in the database above Create playlists (static) Create playlist ad hoc by query or wizard driven Add songs to static playlists Navigate over file system with filtering Play playlist in modes sequential, random, repeat Edit song tags with corresponding DB record update Support formats MP3, WAV, WV(ISO), FLAC, APE, AAC. OGG, DSD Break down album FLAC/APE/WV upon CUE sheet Support search back, forward, skip in individual or list playback Displaying playback progress Show song/album artwork Research on net for song, album, artist details Adding new songs by uploading and other ways

An Eclipse Plugin to create/edit ISO Schematron schemas and apply those schemas to XML files to highlight assertion and reporting information. Integrated with existing Eclipse plugins so user can benefit from both XMLSchema and Schematron simultaneously.