• Kim Nguyễn's avatar
    [trywhy3] · 9a4b07f6
    Kim Nguyễn authored
     * Preliminary work to implement 'Split & Prove' command.
     * Move some hard-coded style information to the .css file.
    9a4b07f6
why3_worker.ml 8.4 KB