Search Results for "x-hdl3"

TeXworks is a free and simple working environment for authoring TeX (LaTeX, ConTeXt and XeTeX) documents. Inspired by Dick Koch's award-winning TeXShop program for Mac OS X, it makes entry into the TeX world easier for those using desktop operating systems other than OS X. It provides an integrated, easy-to-use environment for users on other platforms particularly GNU/Linux and Windows and features a clean, simple interface accessible to casual and non-technical users.

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.

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.

XeTeX is Unicode-based TeX using platform fonts and font technologies (e.g. AAT on Mac OS X or OpenType features on Mac/Linux/Windows) to provide typesetting for all the world's scripts.

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.

This project aims to port ExTeX, a high quality typesetting system developed for UNIX operating system to Macintosh OS X using Fink, a package management system.

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.

Addmath LaTeX package provides additional commands for formulae typing. Many of them are like functions in programming laguages, like deriv{y}{x} for derivative. It makes TeX sources more structurized.