On Tue, 01 Jul 2014 19:24:09 +0530
Weldon Goree <weldon_AT_langurwallah.org> wrote:
> Pretty sure it's a lemma.
I'm sure it's not, given I deal with lemmata every day being a
mathematician. What you have presented simply is a question.
See the "."-suggestion as a serious note. Set up right, you can
definitely store env-states in files and load them using this
tool. But apart from that, I don't know an answer to your question.
Cheers
FRIGN
--
FRIGN <dev_AT_frign.de>
Received on Tue Jul 01 2014 - 16:04:34 CEST