Skip to content
Commit 0cdb3f71 authored by vaclav's avatar vaclav
Browse files

add three "VE:" comments; formal improvements

parent a55d927d