From: Leo F. <leo...@ne...> - 2011-06-21 10:30:14
|
Hi Mark, Thanks for that. I will look into it and try to take into account possible varieties as much as possible. I tried to find the new version of the standard online, but could only get the "usual" one. Looking further I found this discussion by Rob Arthan http://www.lemma-one.com/zstan_docs/wrk036.ps which is quite positive /straightforward (see Sec. 10). I will start on it soon, and come back to you when I've got something... Best, Leo On 21 Jun 2011, at 00:07, Mark Utting wrote: Leo You wrote: Looking around CZT I've seen not much is used / taken advantage for the {theorem} environments. So, I thought to revisit its implementation / discuss the topic, given I will need some solution to the problem above, even if just locally coded... Good idea. The first step is to define a way of passing the theorem name through the unicode representation (and then into the AST). (I think that was put in the too-hard-right-now basket when the theorem environment was added to the standard). Cheers Mark |