nipkow [Thu, 23 Jan 2014 16:02:02 +0100] rev 55126
merged
nipkow [Thu, 23 Jan 2014 16:01:53 +0100] rev 55125
hide Fin in output of value via postprocessor; no hinding needed elsewhere
hoelzl [Thu, 23 Jan 2014 14:33:54 +0100] rev 55124
hide extended.Fin in code generator output
wenzelm [Thu, 23 Jan 2014 14:26:16 +0100] rev 55123
no document for Cartouche_Examples: avoid problems typesetting "\001";
wenzelm [Wed, 22 Jan 2014 23:51:26 +0100] rev 55122
NEWS;
wenzelm [Wed, 22 Jan 2014 23:19:40 +0100] rev 55121
merged
wenzelm [Wed, 22 Jan 2014 23:19:10 +0100] rev 55120
tuned;
wenzelm [Wed, 22 Jan 2014 22:32:28 +0100] rev 55119
observe local syntax mode (according to e3a39dae2004, which was lost in 0f3ad56548bc), e.g. relevant for "abbreviation (output)" with non-terminating syntax;
wenzelm [Wed, 22 Jan 2014 21:33:50 +0100] rev 55118
clarified approximative syntax of thy_load commands: first name after command keyword, after cleaning wrt. tags and cmts;
ballarin [Wed, 22 Jan 2014 21:14:27 +0100] rev 55117
Locales paper has appeared in print.