Exemplos de coqd_main em Python

Exemplo n.º 1

Arquivo: manager.py Projeto: htquach/Cockerel

def runcoqd(serialize):
    coqd_main()

Exemplo n.º 2

Arquivo: manager.py Projeto: dcolish/Cockerel

def runcoqd(modules, serialize):
    coqd_main(modules, serialize)