- latex_for_wiki_file(+File, +Out, +Options) is det
- Write a LaTeX translation of a Wiki file to the steam Out.
Supports the options
stand_alone
,public_only
andsection_level
. See doc_latex/3 for a description of the options.
stand_alone
, public_only
and
section_level
. See doc_latex/3 for a description of the
options.