Skip to content

Fix issue #61 by suppressing Coqtop stderr output#62

Open
felixbauckholt wants to merge 1 commit into
the-lambda-church:pathogen-bundlefrom
felixbauckholt:pathogen-bundle
Open

Fix issue #61 by suppressing Coqtop stderr output#62
felixbauckholt wants to merge 1 commit into
the-lambda-church:pathogen-bundlefrom
felixbauckholt:pathogen-bundle

Commits

Commits on Jul 4, 2017