[opentheory-users] Error loading articles

[Ramana Kumar]

Hi Joe,

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, (
http://www.gilith.com/opentheory/mailing-list/2014-November/000438.html
and the ensuing discussion), the plan was to standardise on theorem
metadata. Has there been any progress on this front?

Cheers,
Ramana
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20151027/15340647/attachment-0001.html>