Search Results for "gnome system"

XMLTreeEdit displays XML files as tree views and allows basic operations: adding, editting and deleting text nodes and their attributes. The main goal is providing a simple tool to create/edit XML configuration files for users without knowledge of XML. Built in Free Pascal Lazarus, which allows easy compilation for different target platforms. Currently binary executables were produced and tested on Windows (XP, 7) and Ubuntu Linux (GTK2). For developers: there are two units listed...

Here are my python scripts. They are humble but easy to use and, may be you'll find them useful.

Conversion from *.mht files to *.htm files. mht2htm extracts all files from mht in single dir so you can open it on any OS. Also works with .eml, .msg, .nws... files

libmng -THE reference library for reading, displaying, writing and examining Multiple-Image Network Graphics. MNG is the animation extension to the popular PNG image-format.

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

The development has been discontinued.