Search Results for "linux xp like"

This library is used for showing various rich text, including LaTeX, images, codes, tables, and normal styles such as center, bold, italic, and so on. An interesting feature is, that you can customize most tags as whatever you want. It uses CodeView to support code highlight, and JLaTeXMath to support LaTeX. The method to parse rich text is something like recursively descending. I'm open to PR that could improve performance, fix bugs and do anything to make this library better.

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.

Java application for creating graphs, with a simple and intuitive interface. Obtaining LaTeX code for designed graph is a single-click operation. Allows creating less and more complicated graphs for LaTeX documents without any knowledge about TikZ library. The program lets you design and edit vertices, edges and labels to your liking thanks to a wide range of variants adequate to TikZ library. GraTeX incorporates common editing mechanisms like saving/loading projects, undo-redo &...

Stymaker is a GUI application assisting LaTeX users with creating their own style packages. After filling a simple form one can get a new package file corresponding to the chosen settings. This package may be included in preamble of LaTeX document by: \usepackage{mystyle} The new package, based on standard LaTeX packages, allows changing of the document layout, or appearance of standard environments like such as lists. While testing new settings one may instantly view actual changes in...

Some text parser, that transforms a custom TeX-like syntax into XML. Un parseur, qui produit du XML à partir d'une syntaxe ressemblant à TeX.