Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

  • Sylvain Dailler's avatar
    Add a name_table in proof_node. · e0d6b38d
    Sylvain Dailler authored
    Add a name_table in printer_args.
    Put the definition of name_table in task.ml.
    Build_name_tables only called once in proof_node creation.
    Modified the rest accordingly.
    e0d6b38d
why3ide.ml 29.3 KB