Issues
- 3
Wider OMF formats
#137 opened by jbs1 - 2
- 2
Add dataset-level metadata to the CD RDF
#142 opened by jbs1 - 3
- 3
Disambiguate CDGroup/CDName
#131 opened by jbs1 - 2
- 3
CD versioning probably not compatible with CD URIs
#126 opened by jbs1 - 2
Check whether OpenMath functions are the same as in DLMF
#122 opened by jbs1 - 2
Publish OpenMath ontology under its namespace URI=URL
#117 opened by jbs1 - 2
- 1
Variables not bound in head of binding
#143 opened by jbs1 - 1
STS documentation is unclear about binders
#151 opened by jbs1 - 5
Revising the Simple Type System
#152 opened by jbs1 - 6
- 3
Drop FMP/@kind
#125 opened by jbs1 - 17
Specify a MIME type for OpenMath
#106 opened by jbs1 - 4
Make CDSignatures or Signature use cdbase
#128 opened by jbs1 - 2
Introduce computational FMPs
#129 opened by jbs1 - 4
Binary encoding is bigendian
#107 opened by jbs1 - 2
abstract CDGroups and CDSigs
#105 opened by jbs1 - 2
Roles and Complience
#109 opened by jbs1 - 5
Wrong svn certificate or access permissions
#112 opened by jbs1 - 2
Why is cddefinition width: 70em?
#113 opened by jbs1 - 2
] range & image in fns1
#130 opened by jbs1 - 2
Specify or forbid whitespace normalisation
#134 opened by jbs1 - 7
n-ary OMBIND
#136 opened by jbs1 - 4
CD's CDBase declaration is mandatory
#138 opened by jbs1 - 4
Symbol's default cdbase not specified correctly
#139 opened by jbs1 - 5
Allow OMOBJ in OMCD texts
#145 opened by jbs1 - 1
[SEP] Add Notation Definitions to OpenMath
#144 opened by jbs1 - 3
Bit numbers start at what?
#146 opened by jbs1 - 1
Quoting of OMOBJs as part of an OMOBJ
#147 opened by jbs1 - 1
Foreign object model; round-trip preservation
#148 opened by jbs1 - 2
CD-level properties (CMP and FMP)
#150 opened by jbs1 - 1
Language Extension Dictionaries
#153 opened by jbs1 - 2
OMR examples false
#104 opened by jbs1 - 4
Endianness of OMF
#114 opened by jbs1 - 6
Clean up duplicate XSLT stylesheets
#123 opened by jbs1 - 4
- 2
typo in OMSTD2.0 chapter
#108 opened by jbs1 - 1
- 0
add rdfs:labels to ontology
#132 opened by jbs1 - 1
OpenMath→Presentation MathML XSLTs hard to find
#124 opened by jbs1 - 0
Remove CDDefinition/@xml:id from the RNC
#121 opened by jbs1 - 1
- 7
- 1
Publish official CDs as linked data
#116 opened by jbs1 - 8
Example for s_data1#mean is wrong
#115 opened by jbs1 - 1
delete cd2omdoc.xsl
#111 opened by jbs1 - 0
OpenMath3/rnc/cd3.rnc broken
#110 opened by jbs1