I suppose that it will be simpler to test theories on user's local
machine and only after local testing submit theories to vdash.org
What are the means to create and test theories? Especially, what about
Proof General? (Does Proof General works with structured Isar proofs,
or it is only for old style "apply" proofs?) Should an editor of
use Proof General or whatever?