wenzelm [Mon, 14 May 2018 16:00:10 +0200] rev 68182
tuned signature (see Command.eval_state);
wenzelm [Mon, 14 May 2018 14:30:13 +0200] rev 68181
export generated document.tex, unless explicit document=false;
wenzelm [Mon, 14 May 2018 11:29:22 +0200] rev 68180
more general presentation hook, with document preparation as application;
wenzelm [Mon, 14 May 2018 10:58:14 +0200] rev 68179
clarified signature: more explicit type "context" with full options;
wenzelm [Mon, 14 May 2018 10:22:45 +0200] rev 68178
more explicit type Thy_Output.segment;
wenzelm [Mon, 14 May 2018 09:39:27 +0200] rev 68177
clarified signature;
more operations;
nipkow [Mon, 14 May 2018 18:19:35 +0200] rev 68176
more sorted cleaning
nipkow [Mon, 14 May 2018 15:37:26 +0200] rev 68175
cleaning up sorted
wenzelm [Sun, 13 May 2018 21:59:41 +0200] rev 68174
merged
wenzelm [Sun, 13 May 2018 21:20:28 +0200] rev 68173
more uniform types vs. consts;