├── README-ja.md ├── README.md ├── Satyristes ├── base.satyh ├── footnote.satyh ├── heading.satyh ├── jlreq.satyh ├── jlreq0.satyh ├── lib.satyh ├── paragraph.satyh ├── proof.satyh ├── satysfi-class-jlreq.opam ├── theorem.satyh └── toc.satyh /README-ja.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/README-ja.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # jlreq for SATySFi 2 | 3 | -------------------------------------------------------------------------------- /Satyristes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/Satyristes -------------------------------------------------------------------------------- /base.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/base.satyh -------------------------------------------------------------------------------- /footnote.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/footnote.satyh -------------------------------------------------------------------------------- /heading.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/heading.satyh -------------------------------------------------------------------------------- /jlreq.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/jlreq.satyh -------------------------------------------------------------------------------- /jlreq0.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/jlreq0.satyh -------------------------------------------------------------------------------- /lib.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/lib.satyh -------------------------------------------------------------------------------- /paragraph.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/paragraph.satyh -------------------------------------------------------------------------------- /proof.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/proof.satyh -------------------------------------------------------------------------------- /satysfi-class-jlreq.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/satysfi-class-jlreq.opam -------------------------------------------------------------------------------- /theorem.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/theorem.satyh -------------------------------------------------------------------------------- /toc.satyh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abenori/satysfi-class-jlreq/HEAD/toc.satyh --------------------------------------------------------------------------------