• François Bobot's avatar
    Documentation: add description to all the registration functions · 29201f7c
    François Bobot authored
     (metas, debug flags, transformations, formats) except for label.
    
    This description is used in --list-*. The description can use any of
    the formatting markup of Format "@ " "@[",...
    
    Transformations can also specify from which metas and labels they
    depend, and add informations about how they are interpreted.
    
    TODO:
      - complete and correct the documentation
      - when a transformation use Trans.on_meta, it should be possible to
        add an interpretation of the metas in the documentation.
      - recover a summary version of --list-* ?
      - be able to export in latex?
    29201f7c
Name
Last commit
Last update
..
bash Loading commit data...
emacs Loading commit data...
images Loading commit data...
javascript Loading commit data...
lang Loading commit data...
vim Loading commit data...
zsh Loading commit data...
drivers Loading commit data...
modules Loading commit data...
provers-detection-data.conf.in Loading commit data...
theories Loading commit data...
why3session.dtd Loading commit data...