is a free and extensible Webdesigner's off-line HTML generation toolkit for Unix. It consists of a
control frontend driving up to nine backends in a sequential pass-oriented filtering scheme. Each backend provides one
particular core language. For maximum power WML additionally ships with a well-suited set of include files which
provide higher-level features built on top of the backends core languages.
is a free operating system (OS). It comes with more than 4000 packages precompiled software and is
available for almost any architecture.
is an improved version of the editor vi, one of the standard text editors on UNIX systems. VIM adds
many of the features that you would expect in an editor: Unlimited undo, syntax coloring, split windows, visual
selection, graphical user interface (read: menus, mouse control, scrollbars, text selection), and much much
is an interpreted language optimized for scanning arbitrary text files, extracting information from
those text files, and printing reports based on that information. The language is intended to be practical rather than
beautiful. It combines some of the best features of C, sed, awk, and sh.
is an HTML to PostScript converter written in Perl. It also uses TeX.
is an interpreter for postscript files. It converts the postscript files that have been generated
html2ps into PDF.
is a text-setting-system with builtin macro language, which has been developed by Donald E. Knuth since
1977. On this website, it is used to generate the PDF-files and the navigation bar.
is an utility to validate SGML codes against the W3C
specifications for HTML/XHTML/XML. Additionally it can convert, clean and pretty print those streams. We use it to
convert WML's HTML4.01 output to well-formed XHTML1.0, which is a subset of XML.
is a file transfer program for Unix systems which provides a fast (incremental) method for bringing
remote files into sync. We use it to upload this website though a ssh tunnel to the webserver.
is a free version of the SSH protocol suite of network connectivity tools that increasing numbers of
people on the Internet are coming to rely on.
automatically determines which pieces of the website need to be recompiled by wml, and issues commands
to recompile them.
is a version control system. It allows multiple users to concurrently edit the project files, and
records the history of changes done to the sources files.
is a full-screen window manager that multiplexes a physical terminal between several processes,
typically interactive shells. Programs continue to run when their window is currently not visible and even when the
whole screen session is detached from the users terminal.
is an sh-compatible shell that incorporates useful features from the Korn shell (ksh) and C shell
(csh). It offers functional improvements over sh for both programming and interactive use.
is the GNU Image Manipulation Program. It's great for doing and automating tasks as photo retouching,
image composition and image authoring.