> <\body> <\hide-preamble> > > >>> >>> \; \; \; <\with|color|light grey> \; <\wide-tabular> ||||||| <\wide-tabular> || > >| \; >| <\wide-tabular> ||| \; |<\cell> |png>|200pt|||> |<\cell> |png>|120pt|||> |<\cell> \; >>> >>> > >>> \; \; \; <\wide-tabular> | Massimiliano Gubinelli >>> |<\hidden> > \; \; <\itemize> Visual editor: WYSWYG WYSWYM Inspired by and High-quality typesetting algorithms (including microtypography) Special features for mathematical typesetting and input Support for interactive sessions: Scheme, Python, R, Octave, Maxima, Axiom, Mathemagix (and other CAS). Multi-platform: Unix, MacOS, Windows (via ) Own format (like). Native output to and . Export to , Internal image editor, interfaces to and , versioning tool, database tool, encryption of documents. Website and documentation written in TeXmacs |<\hidden> \; \; \; \; \; \; >> \; |<\hidden> \; <\center> The legacy X11 backend |<\hidden> <\center> The backend, high quality typesetting |<\hidden> <\center> Structured editing, high quality math typesetting |<\hidden> \; <\center> Presentation mode |<\hidden> \; <\center> Panorama mode |<\hidden> <\center> Graphics editor |<\hidden> \; <\center> Microtypography, synthetic math fonts |<\hidden> \; <\center> Interfaces to external packages (here Dra) |<\hidden> \; <\center> Interfaces to external packages (here and ) |<\hidden> \; <\center> Support for oriental scripts |<\hidden> \; <\itemize> Started in 1998 by <\small> <\itemize-dot> v0.2.3\ released 26 Oct 1999 v1.0 (2002) backend in v1.0.7 (2008) native support in v1.99.1 (2013) currently version 1.99.9 (soon 2.1) Written in (~300.000 loc) and (~150.000 loc) (from ). Fully modular, external dependencies (mostly) isolated via tight interfaces. Two UI backends: legacy with custom widget library, modern backend (cross-platform support). . C++ export basic manipulation routines and few internal datatypes. |<\hidden> \; \; <\center> Some of the (current) developers \; |<\hidden> \; All documents or document fragments can be thought of as .\ \; For instance, the tree <\equation*> >|mode|math|>|x+y+|>|1|2>|+|>|y+z>>> typically represents the formula <\equation*> x+y++ |<\hidden> \; Serialization of TeXmacs documents without loss of informations \; <\itemize-dot> format <\quote-env> with\|mode\|math\|x+y+\frac\|1\|2\+\sqrt\|y+z\\>> format <\quote-env> \frac\\tm-arg\1\/tm-arg\\tm-arg\2\/tm-arg\\/frac\+\sqrt\y+z\/sqrt\ > format <\framed-fragment> |<\hidden> Typesetting process converts TeXmacs trees into boxes: |gr-frame|>|gr-geometry||gr-snap||gr-arrow-end|\|gr-line-width|2ln|>>|>|>>|>|>>|>||line-width|2ln||>>||line-width|2ln||>>|>|>>> The are designed to be very fast and they are built-in into the editor: <\quote-env> ), page breaks (), mathematical fractions (), hyperlinks (), and so on.> The rendering of many of the primitives may be customized through the . <\quote-env> specifies the current color of objects, the current left margin of paragraphs, > The allows the user to write new primitives (macros) on top of the built-in primitives.\ <\quote-env> and a special tag to inject expressions in order to write macros.> |<\hidden> \; Evaluation of TeXmacs trees proceeds by reduction of the primitives, essentialy by evaluation of macro applications. \; <\tm-fragment> , how are you today?>>> \; Macros have editable input fields. Examples here below (activate the macros): >, how are you today?>>> ,\,|)>>>>> <\equation*> = \; |<\hidden> as extension language> \; TeXmacs is extendable and customizable in various ways: <\itemize> > embedded as extension and scripting language A plugin system allows asyncronous communication with external programs\ Mechanism to dynamically load external code (via C interface) \; is easy to embed and provides a reasonably fast implementation of . \; Why ? <\enumerate> Allows to mix programs and data in a common framework. Allows to customize the language itself, by adding new programming constructs. Allows to write programs on a very abstract level. |<\hidden> \; <\scm-code> (menu-bind file-menu \ \ ("New" (new-buffer)) \ \ ("Load" (choose-file load-buffer "Load file" "")) \ \ ("Save" (save-buffer)) \ \ ...) can be easily extended from user code: <\scm-code> (menu-bind insert-menu \ \ (former) \ \ \U\U\U \ \ (-\ "Opening" \ \ \ \ \ \ ("Dear Sir" (insert "Dear Sir,")) \ \ \ \ \ \ ("Dear Madam" (insert "Dear Madam,"))) \ \ (-\ "Closing" \ \ \ \ \ \ ("Yours sincerely" (insert "Yours sincerely,")) \ \ \ \ \ \ ("Greetings" (insert "Greetings,")))) |<\hidden> \; Keybindings <\scm-code> (kbd-map \ \ ("D e f ." (make 'definition)) \ \ ("L e m ." (make 'lemma)) \ \ ("P r o p ." (make 'proposition)) \ \ ("T h ." (make 'theorem))) The file is executed every time a buffer is loaded, it allows some specific customizations. For example: <\scm-code> (if (not (buffer-has-name? (current-buffer))) \ \ \ \ (begin \ \ \ \ \ \ (init-style "article") \ \ \ \ \ \ (buffer-pretend-saved (current-buffer)))) \; (if (not (buffer-has-name? (current-buffer))) \ \ \ \ (make-session "maxima" (url-\string (current-buffer)))) \; |<\hidden> \; commands can be invoked interactively (like in ) using the shortcut.\ A session is started using the menu item: <\session|scheme|default> <\folded-io|scheme] > (define (square x) (* x x)) <\folded-io|scheme] > (square 1111111) <\folded-io|scheme] > (kbd-map ("h i ." (insert "Hi there!"))) <\folded-io|scheme] > ;; try typing ``hi.'' commands can be invoked from the command line: <\shell-code> texmacs text.tm -x "(print)" -q Or scheme statement executed from inside TeXmacs macros: <\tm-fragment> > |<\hidden> macro> \ Function definition can depend on several run-time conditions (e.g. editor mode). This allows to develop modular user interfaces. <\scm-code> (tm-define (hello) (insert "Hello")) (tm-define (hello) (:require (in-math?)) (insert-go-to "hello()" '(6))) <\scm-code> (tm-define (hello) \ \ (if (in-math?) (insert-go-to "hello()" '(6)) (former))) <\scm-code> (tm-define (my-replace what by) \ \ default-implementation) \; (tm-define (my-replace what by) \ \ (:require (== what by)) \ \ (noop)) \; |<\hidden> \; <\scm-code> (tm-define (square x) \ \ (:synopsis "Compute the square of @x") \ \ (:argument x "A number") \ \ (:returns "The square of @x") \ \ (* x x)) Used via e.g. . Allows for interactive input of parameters: typing followed by and and you will be prompted for \PA number\Q on the footer (or in a dialog). Tab-completion. <\scm-code> (tm-property (choose-file fun text type) \ \ (:interactive #t)) to indicate interactive commands in menu items like: <\scm-code> ("Load" (choose-file load-buffer "Load file" "")) \; |<\hidden> \; Check-marks for menu items: <\scm-code> (tm-define (toggle-session-math-input) \ \ (:check-mark "v" session-math-input?) \ \ (session-use-math-input (not (session-math-input?)))) \; <\scm-code> (tm-define mouse-unfold \ \ (:secure #t) \ \ (with-action t \ \ \ \ (tree-go-to t :start) \ \ \ \ (fold))) <\unfolded> This is a fold/unfold environment <|unfolded> It allows to toggle the display of its content by switching the tag from to and back. \; |<\hidden> representation TeXmacs content> <\itemize-dot> () <\equation*> |b+c> is typically represented by <\scm-code> (frac (concat "a" (rsup "2")) "b+c") convenient to manipulate content directly using standard routines on lists. (). internal C++ type which is exported to via the glue. Keeps track of the of the tree inside the global document tree and can be used to programmatically modify documents. (). an expression of the type is either a string, a tree or a list whose first element is a symbol and whose remaining elements are other expressions of type . <\session|scheme|default> <\input|scheme] > (tree-set! t '(document "First line." "Second line.")) <\input|scheme] > (tree-set t 1 "New second line.") <\input|scheme] > (tree-set t 0 `(strong ,(tree-ref t 0))) |<\hidden> \; \; <\scm-code> (tm-define (swap-numerator-denominator t) \ \ (:require (tree-is? t 'frac)) \ \ (with p (tree-cursor-path t) \ \ \ \ (tree-set! t `(frac ,(tree-ref t 1) ,(tree-ref t 0))) \ \ \ \ (tree-go-to t (cons (- 1 (car p)) (cdr p))) \ \ \ \ (tree-focus t))) \; To be called as , or just add it as a structured variant to <\scm-code> (tm-define (variant-circulate t forward?) \ \ (:require (tree-is? t 'frac)) \ \ (swap-numerator-denominator t)) \; \; |<\hidden> \; \; \; implements the routines and for matching regular expressions and selecting subexpressions along a \Ppath\Q. For instance: \ in the current buffer search all expressions of the form <\equation*> |1+>> where > and > are general expressions: <\session|scheme|default> <\input|Scheme] > (select (buffer-tree) '(:* (:match (frac :%1 (concat "1+" (sqrt :%1)))))) \; |<\hidden> <\scm-code> (define-preferences \ \ ("Gnu's hair color" "brown" notify-gnu-hair-change) \ \ ("Snail's cruising speed" "1mm/sec" notify-Achilles)) \; <\scm-code> (define-format blablah \ \ (:name "Blablah") \ \ (:suffix "bla")) \; (converter blablah-file latex-file \ \ (:require (url-exists-in-path? "bla2tex")) \ \ (:shell "bla2tex" from "\" to)) When a format can be converted from or into , then it will automatically appear into the and menus. Similarly, when a format can be converted to , then it also becomes a valid format for images. also attempts to combine explicitly declared converters into new ones. |<\hidden> <\session|scheme|default> <\input|Scheme] > (user-ask "First number:" \ \ (lambda (a) \ \ \ \ (user-ask "Second number:" \ \ \ \ \ \ (lambda (b) \ \ \ \ \ \ \ \ (set-message (number-\string (* (string-\number a) \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (string-\number b))) \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ "product"))))) \; <\session|scheme|default> <\input|Scheme] > (tm-widget (example3) \ \ (hlist\ \ \ \ \ (bold (text "Hello")) \ \ \ \ \\\ \ \ \ \ (inert (explicit-buttons ("world" (display "!\\n")))))) <\input|Scheme] > (top-window example3 "Some text") <\input|Scheme] > \; \; |<\hidden> > \; <\input|Scheme] > (define t \ \ (stree-\tree \ \ \ '(root \ \ \ \ \ (library "Library" "$TEXMACS_PIXMAP_PATH/tm_german.xpm" 01 \ \ \ \ \ \ \ \ \ \ \ \ \ \ (collection "Cool stuff" 001) \ \ \ \ \ \ \ \ \ \ \ \ \ \ (collection "Things to read" 002) \ \ \ \ \ \ \ \ \ \ \ \ \ \ (collection "Current work" 003 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (collection "Forever current" 004) \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (collection "Read me" 005)))))) <\input|Scheme] > (define dd \ \ (stree-\tree \ \ \ '(list (library DisplayRole DecorationRole UserRole:1) \ \ \ \ \ \ \ \ \ \ (collection DisplayRole UserRole:1)))) <\input|Scheme] > (define (action clicked cmd-role . user-roles) \ \ (display* "clicked= " clicked ", cmd-role= " cmd-role \ \ \ \ \ \ \ \ \ \ \ \ ", user-roles= " user-roles "\\n"))) <\input|Scheme] > (tm-widget (widget-library) \ \ (resize ("150px" "400px" "9000px") ("300px" "600px" "9000px") \ \ \ \ (vertical \ \ \ \ \ \ (bold (text "Testing tree-view")) \ \ \ \ \ \ === \ \ \ \ \ \ (tree-view action t dd)))) <\input|Scheme] > (top-window widget-library "Tree View") <\input|Scheme] > \; > |<\hidden> <\input|Scheme] > (tm-widget (form3 cmd) \ \ (resize "500px" "500px" \ \ \ \ (padded \ \ \ \ \ \ (form "Test" \ \ \ \ \ \ \ \ (aligned \ \ \ \ \ \ \ \ \ \ (item (text "Input:") \ \ \ \ \ \ \ \ \ \ \ \ (form-input "fieldname1" "string" '("one") "1w")) \ \ \ \ \ \ \ \ \ \ (item === ===) \ \ \ \ \ \ \ \ \ \ (item (text "Enum:") \ \ \ \ \ \ \ \ \ \ \ \ (form-enum "fieldname2" '("one" "two" "three") "two" "2w")) \ \ \ \ \ \ \ \ \ \ (item === ===) \ \ \ \ \ \ \ \ \ \ (item (text "Choice:") \ \ \ \ \ \ \ \ \ \ \ \ (form-choice "fieldname3" '("one" "two" "three") "one")) \ \ \ \ \ \ \ \ \ \ (item === ===) \ \ \ \ \ \ \ \ \ \ (item (text "Choices:") \ \ \ \ \ \ \ \ \ \ \ \ (form-choices "fieldname4"\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ '("one" "two" "three")\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ '("one" "two")))) \ \ \ \ \ \ \ \ (bottom-buttons \ \ \ \ \ \ \ \ \ \ ("Cancel" (cmd "cancel")) \\ \ \ \ \ \ \ \ \ \ \ ("Ok" \ \ \ \ \ \ \ \ \ \ \ (display* (form-fields) " -\ " (form-values) "\\n") \ \ \ \ \ \ \ \ \ \ \ (cmd "ok"))))))) <\input|Scheme] > (dialogue-window form3 (lambda (x) (display* x "\\n")) "Test of form3") <\input|Scheme] > \; > \; |<\hidden> \; New styles can be defined via modules like defined as follows: <\scm-code> (texmacs-module (bibtex example) \ \ (:use (bibtex bib-utils))) \; (bib-define-style "example" "plain") \; (tm-define (bib-format-date e) \ \ (:mode bib-example?) \ \ (bib-format-field e "year")) This example style behaves in a similar way as the style, except that all dates are formatted according to our custom routine. Styles are stored in and referred to as e.g. (for \ when used in a document. \; |<\hidden> \; Graphics objects are also part of the TeXmacs format and can be manipulated programmatically from Scheme. Actually, part of the graphics editor is written in Scheme. \; <\session|scheme|default> <\unfolded-io|Scheme] > (stree-\tree\ \ \ '(with gr-geometry (tuple "geometry" "200px" "100px" "center")\ \ \ \ \ \ \ \ \ \ color "blue"\ \ \ \ \ \ \ \ \ (graphics (text-at "TeXmacs" (point "-2.5" "-1"))\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (point 0 -1)\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (line (point 0 0) (point 0 1)\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (point 1 1) (point 1 0) (point 0 0))))) <|unfolded-io> |color|blue|>||||||>>>> <\input|Scheme] > \; |<\hidden> \; Many improvements ahead \; <\itemize> Version 2.1 to be released soon Update the backend to 5 (currently 4.8) [almost there] Adapt the scheme code to run on 3>. (currently 1.8) [WIP] New website, documentations, videos [WIP] plugins (protocol to interface to many computational kernels, e.g. , , , , , ) Improvements to the styling of presentations and posters [WIP] More documentation, more tutorial, grow community [Stackexchange proposal] Collaboration tools Bibliography management with |<\hidden> \; for all tastes <\itemize> From the outside <\small> <\itemize> Write and review documentations, tutorials, videos, improve community, advertise Develop plugins to your preferred system or to add your preferred feature, e.g.: literate programming tools with beautyful output Write new document styles, templates, presentation styles, poster styles Font tuning Hack the code <\small> <\itemize> Understand the code and write developer documentation Improve the backend, fix bugs, add features, improve stability, better image handling and PDF export of TeXmacs features Write new backends (), port to tablets or to the browser Hack <\small> <\itemize> Help porting to , improve speed fix bugs, review code, add new cool features |<\shown> \; \; \; \; \; \; ||||||||| >> \ |png>|30px|||-8px> >>> > > <\initial> <\collection> <\references> <\collection> > |\>|?>> |\>|?>> |font-family|||||math-font-series||||x>>>>>>|?>> <\auxiliary> <\collection> <\associate|idx> |Insert>||Session>||Scheme>>|> |File>||Export>>|> |File>||Import>>|>