Search Results for "x11-basic"

...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) …

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.

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.