Admin/launch4j/README

ProofContext.read_const: allow for type constraint (for fixed variable);
added proof command 'write' to introduce concrete syntax within a proof body;

Cross-platform Java executable wrapper
======================================

* http://launch4j.sourceforge.net