diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-11-24 19:45:11 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-11-29 23:49:20 +0100 |
commit | fb178a6313132024c13f27865f97e090466058e3 (patch) | |
tree | 98af344b3d67e97e1a9448510f2f041577ae9d1a /doc/ProofGeneral.texi | |
parent | f158ae23977cfb40a4a2f7a0db123940f59768f8 (diff) |
delay vio2vo compilation
... to make it less likely people run into the library
inconsistency issue with vio2vo
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions