Search Results for "x11-basic"

Let's say plain text is the most basic unit of written information. Then the boundaries between written thoughts in formatted / unformatted text, math (LaTeX), rich markdown, ASCII drawings, and so on, are artificially imposed. neutriNote reclaims the paradigm by preserving all contents in a text-centric searchable repository. Unlike the emphasis on traditional text editing functions found in most mainline writing apps, neutriNote focuses instead on the long-term searchability of information so that cognitive load may be reduced through note-taking, with a writing experience totally open to customization.

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.