[opentheory-users] Error loading articles
ramana at member.fsf.org
Tue Oct 27 03:57:18 UTC 2015
It looks like you are encoding theorem names via some (undocumented) scheme
that wraps the theorem as:
|- (\name_of_thm. name_of_thm) conclusion_of_thm
Is this going to become a standard format in which to encode theorem names,
that other article readers should expect? (I presume not!)
When we last discussed theorem names, (
and the ensuing discussion), the plan was to standardise on theorem
metadata. Has there been any progress on this front?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the opentheory-users