SATySFi-make-latex

SATySFi-make-html are SATySFi packages that outputting LaTeX file using SATySFi's text-mode.

install

Satyrographos

git clone https://github.com/puripuri2100/SATySFi-make-latex.git

cd SATySFi-make-latex

opam pin add -v "file://$PWD"

satyrographos install

---

This software released under the MIT license.

Copyright (c) 2020 Naoki Kaneko (a.k.a. "puripuri2100")