Re: [CZT-Devel] theorem environment - comments pls?

[Mark U. <ma...@cs...>]

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