Issues
- 2
- 7
run script no longer builds the standard.
#66 opened by kohlhase - 7
- 5
- 0
abstract CDGroups and CDSigs
#26 opened by kohlhase - 0
rethink CD metadata handling.
#37 opened by kohlhase - 1
- 4
- 1
Denotation official of CDs
#47 opened by kohlhase - 0
CD-level properties (CMP and FMP)
#15 opened by kohlhase - 1
[SEP] Add Notation Definitions to OpenMath
#19 opened by kohlhase - 11
markup for definienda and definienses
#55 opened by kohlhase - 2
- 3
foreign objects not described in "3.1.2 Informal description of the XML Encoding"
#58 opened by kohlhase - 12
Definition of alpha conversion underspecified
#30 opened by kohlhase - 7
Specify binding of variables
#64 opened by florian-rabe - 4
simplifying documentation source
#41 opened by davidcarlisle - 0
pdf generation broken in travis
#65 opened by davidcarlisle - 1
Symbol's default cdbase not specified correctly
#21 opened by kohlhase - 15
Make CDSignatures or Signature use cdbase
#34 opened by kohlhase - 2
attribute CD/@version
#46 opened by kohlhase - 2
- 1
Reconsider CDUses
#27 opened by kohlhase - 0
n-ary OMBIND
#23 opened by kohlhase - 1
Roles and Complience
#25 opened by kohlhase - 0
OMV with complex presentations
#31 opened by kohlhase - 3
Wider OMF formats
#32 opened by kohlhase - 0
Rethink STS.
#39 opened by kohlhase - 0
Language Extension Dictionaries
#14 opened by kohlhase - 0
Quoting of OMOBJs as part of an OMOBJ
#17 opened by kohlhase - 8
clarify (and possibly fix) duplicate variables.
#53 opened by kohlhase - 3
run script copies generated files to website when not in travis (and on a branch)
#62 opened by kohlhase - 11
Referencing cdgroups
#57 opened by davidcarlisle - 3
Disambiguate CDGroup/CDName
#45 opened by kohlhase - 2
- 5
- 9
Foreign object model; round-trip preservation
#16 opened by kohlhase - 5
note about hex byte ordering
#49 opened by davidcarlisle - 16
building the standard on a branch seems to fail.
#52 opened by kohlhase - 0
- 2
Variables not bound in head of binding
#40 opened by kohlhase - 6
Update to new URI spec
#29 opened by kohlhase - 3
- 4
Specify or forbid whitespace normalisation
#24 opened by kohlhase - 3
Specify a MIME type for OpenMath
#35 opened by kohlhase - 0
not long right arrows
#48 opened by davidcarlisle - 7
general formulation issues by Chris
#36 opened by kohlhase - 1
CDLicense Tag?
#28 opened by kohlhase - 1
Introduce computational FMPs
#33 opened by kohlhase - 1
Bit numbers start at what?
#18 opened by kohlhase