File "doc/pltotex.pl"[download]

in pack:	xmlrdf
Prolog module:	pltotex
size:	2737

Recent changes

13 years ago

Jan Wielemaker

ADDED: Documentation infrastructure

This file requires

• From the Prolog library
  • library(apply) resolved by
    • apply.pl: partition/4, maplist/2, maplist/3
  • library(doc_latex) resolved by
    • doc_latex.pl: doc_latex/3
  • library(error) resolved by
    • error.pl could not find proof of dependency
  • library(lists) resolved by
    • lists.pl: append/3, delete/3
  • library(main) resolved by
    • main.pl could not find proof of dependency

Exported predicates

• pltotex/0
• pltotex/2

Required predicates

• append/3 from library(lists)
• delete/3 from library(lists)
• doc_latex/3 from library(doc_latex)
• maplist/2 from library(apply)
• maplist/3 from library(apply)
• merge_options/3 autoloaded
• option/2 autoloaded
• partition/4 from library(apply)