all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* how using TexLive on a website like in org-mode?
@ 2019-01-04 17:17 Joseph Vidal-Rosset
  2019-01-04 17:53 ` Eric S Fraga
  0 siblings, 1 reply; 3+ messages in thread
From: Joseph Vidal-Rosset @ 2019-01-04 17:17 UTC (permalink / raw)
  To: emacs-orgmode list

[-- Attachment #1: Type: text/plain, Size: 1021 bytes --]

Hello the list,

Happy New Year to everybody!

I have a dedicated server for a  personal website and I wonder how it is
possible to use  texlive as most as possible into  html webpages, in the
same way that we export via org-mode.

I would be glad  for example to use the proof.sty  package to import png
images like in this email, to get for example the image of this formal
derivation 

\[
\infer[^{L\lnot {\rm \mathit{def}}}]{\lnot \lnot P \Rightarrow P}{
  \infer[^{L\lnot {\rm \mathit{def}}}]{\lnot P \supset \bot \Rightarrow P}{
    \infer[^{L\supset\supset}]{(P \supset \bot) \supset \bot \Rightarrow P}{
      \infer[^{{\rm \mathit{Ax_{c}}}}]{\bot \supset \bot, P \Rightarrow \bot, P}{}
      &
      \infer[^{L\bot}]{\bot \Rightarrow P}{}
    }
  }
}
\]

in a html webpage easily. But I do  not know how to do. The CMS that I
am       using      is       /not/      WordPress,       but      SPIP
[[https://www.spip.net/en_rubrique25.html]]

Help would be very welcome.

Again, happy 2019 to everybody!

-- 
Jo. 

[-- Attachment #2.1: Type: text/html, Size: 1027 bytes --]

[-- Attachment #2.2: latexOKipHQ_965c81b37f619110e88580d158cdda66b04b6eb0.png --]
[-- Type: image/png, Size: 2070 bytes --]

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2019-01-04 18:19 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2019-01-04 17:17 how using TexLive on a website like in org-mode? Joseph Vidal-Rosset
2019-01-04 17:53 ` Eric S Fraga
2019-01-04 18:19   ` Joseph Vidal-Rosset

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.