Deprecated: Function get_magic_quotes_gpc() is deprecated in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 99

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 619

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1169

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176

Warning: Cannot modify header information - headers already sent by (output started at /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php:99) in /hermes/walnacweb04/walnacweb04ab/b2791/pow.jasaeld/htdocs/De1337/nothing/index.php on line 1176
8000 GitHub - nilqed/sbcl-texmacs: SBCL TeXmacs Plugin (+ Steel Bank Common Lisp (SBCL)'s official repository)
Nothing Special   »   [go: up one dir, main page]

Skip to content
forked from sbcl/sbcl

SBCL TeXmacs Plugin (+ Steel Bank Common Lisp (SBCL)'s official repository)

License

Notifications You must be signed in to change notification settings

nilqed/sbcl-texmacs

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

⚠️ This is the texmacs branch for the TeXmacs plugin 🚧

SBCL TeXmacs Plugin

In order to interfacing we have SBCL to output the necessary control codes. As a prototype this was accomplished by changing the following two files

  1. src/code/debug.lisp
  2. src/code/top-level.lisp

See Commit 88ef2eb

It is assumed that you already have a version of SBCL installed, so that these sources can be compiled. As described in INSTALL, a build of SBCL may be run without installing it (by run-sbcl.sh). Just this feature will be used here, hence your current installation of SBCL will not be compromised.

terminal

Insert -> Session -> SBCL

texmacs

Installation

  1. Clone this repo
  2. Inside, execute sh make.sh (recommended: read INSTALL)
  3. Check if build was successful by sh run-sbcl.sh
  4. Copy the plugin directory to your TeXmacs/plugin folder and rename it to sbcl: Before, adjust the path to run-sbcl.sh by editing the file ./plugin/progs/init-sbcl.scm
    $ cp -r ./plugin $HOME/.TeXmacs/plugins/sbcl
  5. Test it 🍋.1

Support package "TMSPT"

One may control TeXmacs by sending apropriate (scheme/guile) messages to TeXmacs. Most of the menu commands may be mapped to a LISP function. Thus inserting images, hyperlinks, latex, schmeme, postscript and so on can be done by the plugin when loading the package TMSPT (plugin/lisp/tmspt.lisp).

Start sequence in init-sbcl.scm:

 (:launch "sh /path/to/sbcl/run-sbcl.sh --eval
     \"(defun debug-ignore (c h) (declare (ignore h)) (print c)
     (abort))\" --eval \"(setf *debugger-hook* #'debug-ignore)\"")

tmspt

Inline and Link Images

img

Exported functions

The function names are more or less self-explaining:

(defpackage TMSPT (:use common-lisp)
    (:export #:tm-message
       #:verbatim
       #:command
       #:latex
       #:scheme
       #:html
       #:ps
       #:output
       #:prompt
       #:input
       #:add-style
       #:rempve-style
       #:toggle-header
       #:toggle-footer
       #:insert-text-field-above
       #:insert-text-field-below
       #:add-default-style
       #:remove-default-style
       #:link-image
       #:inline-image
       #:toggle-math-input
       #:toggle-multiline-input
       #:toggle-math-output
       #:toggle-scheme-output
       #:toggle-scheme-tree-output
       #:show-timings
       #:clear-all-fields
       #:fold-all-fields
       #:unfold-all-fields
       #:evaluate-fields-in-order
      
6BDC
 #:create-subsession
       #:split-session
       #:session-eval
       #:evaluate-all
       #:evaluate-above
       #:evaluate-below
       #:previous-field
       #:next-field
       #:first-field
       #:last-field
       #:insert-field-above
       #:insert-field-below
       #:remove-next-field 
       #:remove-banner
       #:remove-last-field
       #:close-session
       #:toggle-full-screen
       #:change-zoom-factor
       #:zoom-in
       #:zoom-out
       #:fit-all-to-screen
       #:fit-to-screen
       #:fit-to-screen-width 
       #:fit-to-screen-height)

For details consult the source file tmspt.lisp in the plugin/lisp/ directory.

TeXmacs Serializer

Mathematical input (math-mode).

:TODO: rewrite

mathmode

📅 14-JAN-2025

Footnotes

  1. Use "STOP" button if "busy" for too long ...

About

SBCL TeXmacs Plugin (+ Steel Bank Common Lisp (SBCL)'s official repository)

Topics

Resources

License

Stars

Watchers

Forks

Languages

  • Common Lisp 90.7%
  • C 7.5%
  • Shell 0.9%
  • Assembly 0.4%
  • Makefile 0.2%
  • C++ 0.2%
  • Other 0.1%
0