Search Results for "x11"

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.

NEW! Works with current IE, Firefox, and Chrome browsers. See the 'Loading & Saving' Woas page for details (in Woas file). Woas is a complete wiki in a single HTML file that works in every major browser, including older versions (even IE6!). It can store and display images and files within itself and is incredibly useful for research and documentation. This is my version of the WoaS (stickwiki) project. It is starting out as the home of my fixes to the 0.12.0 version that I am calling...

OmniHelp is a cross-platform, browser-independent, tri-pane help viewer built in pure JavaScript and CSS with HTML 4. Some functions (such as help embedding) may in the future be in Java, C, or C++; CSH is fully supported. All code is under the LGPL.

Proyecto de desarrollo y traducción de documentación de usuario final para la instalación, configuración y uso de Greenstone

Guidance to tiinker a small balloon, able to fly by hot air, made from cheap materials. Complete and easy, for kids from ten years up and adults, Source: LaTeX-text & pencil drawings, to use as .ps or .pdf -file (to print) Still only in german.

Objetivo de disseminar conhecimentos das diversas áreas de saber que envolvem o desenvolvimento de jogos independente de plataforma. The objective to spread diverse knowledge of areas to know that to involve the independent development of platform games

HelpSetMaker - tool for creating structured online help and other help documents. Specially suited for the JavaHelp system. Creates JavaHelp HelpSets, HTML4 webpages and LaTeX source code. Written completely in Java, runs on any Java2-capable platform

wxReSTedit is a cross-platform ReST GUI editor. It is inspired from ReSTedit,a ReStructuredText GUI editor on MAX OS, and aimed to be easier to use than docFactory.

Application Wireframe XML and reference software/stylesheets. This project aims to create a xml schema for application wireframes used during requirements gathering phase of development. The goal is a methodology and programming language agnostic format.

Russian language-pack for a popular Vim editor.

<b>JAVA LOGGING API that targets:<br> - Simplicity (1 line to init & log, no external objects)<br> - Maintability (auto monthly & yearly archives)<br> - Performance (bckg min priority thread pool)<br> - Extensibility (simple design)<br> Try it!</b>

Tool to change the meta-information of PDF-Files stored in the /Info-Dictionary.

The Docbook Plugin for Eclipse will allow generating documents within Eclipse IDE environment to various file formats that docbook supports using docbook xsl. Possible future enhancements could include support for docbook dsssl and apache's FOP support.

A group of shared development tools using GTK or Java interfaces for creation of open source projects or software development education.

A Java GUI to manage DocBook parts like glossary, bibliography and blockquotes.

POST (Python Obviously Simple Text) provides support for simple, flexible dynamic document generation in multiple output formats. Supports inputs in text or XML, outputs in HTML, PDF, RTF, LaTeX source, nroff source, postscript, and plain text.

ODoMoMoS will build a set of guidelines to help technical writers, translators & software developpers to design, write, maintain & localize documentation, and provide templates for specific documentation output tools & platforms, preferrably Open Source.

Russian translation of the Vim editor documentation.

The Java Elucidator provides support for production of internal documentation following the Elucidative programming paradigm. Documentation and source code are kept seperate, but interlinked through mutual navigation in a two-frame online layout.