comparison doc/overview.rst @ 3041:72583524cfd3

doc (jp): jp commands are now fully documented: rel 232
author Goffi <goffi@goffi.org>
date Tue, 01 Oct 2019 22:49:06 +0200
parents 03fe31effa7f
children cea52c9ddfd9
comparison
equal deleted inserted replaced
3040:fee60f17ebac 3041:72583524cfd3
130 everything you can do with other frontends. Particularly useful if you want to check 130 everything you can do with other frontends. Particularly useful if you want to check
131 something quickly, or if you want to do some automation. 131 something quickly, or if you want to do some automation.
132 132
133 You can check :doc:`jp documentation <jp/index>` documentation for more details. 133 You can check :doc:`jp documentation <jp/index>` documentation for more details.
134 134
135 .. _glossary:
135 136
136 Glossary 137 Glossary
137 ======== 138 ========
138 139
139 While using SàT you may see some terms or concept. This section explain the most important 140 While using SàT you may see some terms or concept. This section explain the most important