Search Results for "x11-basic"

Asymptote is a powerful descriptive vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. Asymptote provides for figures the same high-quality typesetting that LaTeX does for scientific text.

...Predefined setting (letter class options) are available, e.g., for German letters, US-American letters, Swiss letters, French letters, and Japanese letters. There are several additional packages in KOMA-Script that may be used with other classes too, e.g.: - scrbase (basic features of the KOMA-Script classes) - tocbasic (features for tables of contents and creating more floats) - scrdate (date functions) - scrtime (current time) - scrlayer (virtual layers) - scrlayer-scrpage (page style configuration) - typearea (semi-automatic typing area and margin setup) - scrextend (extended features of the KOMA-Script classes) …

Xdvi is a program for displaying DVI files on the X window system. Xdvik is a variant with hyperlink support and other additions, deployed e.g. in the TeX Live distribution.

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.

A bundle of lisp extensions, largely original, for GNU Emacs with the goal to obtain a more user friendly and powerful interface. The new features include contextual tool bars, new TeX interface, very complete menus, and a well structured IDE.

Automata editor is a vector editor for drawing finite automata according to VauCanSon-G format with tools for working with finite automata such as basic algorithms, exporting transition table to LaTeX format and automata work simulation.

A boudle of lisp extensions, largely original, for XEmacs with the goal to obtain a more user friendly and powerful interface. The new features include contextual tool bars, new TeX interface and much more.

Yabman is a tool for managing bibliographic references. Its key features are a quality user interface, a carefully designed data model, and sophisticated three-state hierarchical reference labeling. It is currently usable but in a pre-alpha stage.

Das Projekt ist nach Github umgezogen, weil ich mit der Politik von SF.net nicht einverstanden bin. Der LaTeX-Assistant hilft das Grundgerüst einer LaTeX-Datei zusammenzustellen. --- The LaTeX-Assistant assists on creating the basic structure of a LaTeX file.