issues
search
OpenMath
/
OMSTD
The OpenMath Standard (starting with OpenMath 2)
9
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Saxon-HE-9.8.0-2.jar not found. Saxon-HE-10.6.jar is ok !
#71
CoghettoR
closed
2 years ago
2
Update omstd20.xml
#70
lars-hellstrom
closed
5 years ago
1
Extend Standard with a JSON Encoding
#69
tkw1536
closed
5 years ago
16
Update install-jars script
#68
tkw1536
closed
5 years ago
4
Definition markup
#67
kohlhase
closed
5 years ago
0
run script no longer builds the standard.
#66
kohlhase
closed
5 years ago
7
pdf generation broken in travis
#65
davidcarlisle
closed
6 years ago
0
Specify binding of variables
#64
florian-rabe
closed
6 years ago
7
adding cdgroup and version attributes to CD and CDsignatures and version to CDGroup
#63
kohlhase
closed
6 years ago
2
run script copies generated files to website when not in travis (and on a branch)
#62
kohlhase
closed
6 years ago
3
CDGroups
#61
kohlhase
closed
6 years ago
2
there seems to be no uniqueness requirement for CD names in a CDGroup
#60
kohlhase
closed
6 years ago
5
inclusion for cdgroups (and semantics of nested) cdgroups.
#59
kohlhase
closed
6 years ago
2
foreign objects not described in "3.1.2 Informal description of the XML Encoding"
#58
kohlhase
closed
6 years ago
3
Referencing cdgroups
#57
davidcarlisle
closed
6 years ago
11
define the names of syntactic parts of OM objects in 2.1.3
#56
kohlhase
opened
6 years ago
2
markup for definienda and definienses
#55
kohlhase
opened
6 years ago
11
HTML transformation problem (spaces around MathML)
#54
kohlhase
closed
6 years ago
0
clarify (and possibly fix) duplicate variables.
#53
kohlhase
closed
6 years ago
8
building the standard on a branch seems to fail.
#52
kohlhase
closed
6 years ago
16
update to IRI spec, issue #29
#51
davidcarlisle
closed
6 years ago
7
Clarifying and partially fixing alpha-conversion and bound variables in OM2
#50
kohlhase
closed
6 years ago
4
note about hex byte ordering
#49
davidcarlisle
closed
6 years ago
5
not long right arrows
#48
davidcarlisle
closed
6 years ago
0
Denotation official of CDs
#47
kohlhase
opened
6 years ago
1
attribute CD/@version
#46
kohlhase
closed
6 years ago
2
Disambiguate CDGroup/CDName
#45
kohlhase
closed
6 years ago
3
clarify specification of CD URIs and CDURL for linked data
#44
kohlhase
opened
6 years ago
2
CD versioning probably not compatible with CD URIs
#43
kohlhase
closed
6 years ago
3
Container element for CMP & FMP, which can have a stable author-defined ID
#42
kohlhase
opened
6 years ago
4
simplifying documentation source
#41
davidcarlisle
closed
6 years ago
4
Variables not bound in head of binding
#40
kohlhase
closed
6 years ago
2
Rethink STS.
#39
kohlhase
opened
6 years ago
0
kinds of FMPs (definitional, computational) specify it clearly.
#38
kohlhase
opened
6 years ago
1
rethink CD metadata handling.
#37
kohlhase
opened
6 years ago
0
general formulation issues by Chris
#36
kohlhase
opened
6 years ago
7
Specify a MIME type for OpenMath
#35
kohlhase
opened
6 years ago
3
Make CDSignatures or Signature use cdbase
#34
kohlhase
closed
6 years ago
15
Introduce computational FMPs
#33
kohlhase
closed
6 years ago
1
Wider OMF formats
#32
kohlhase
opened
6 years ago
3
OMV with complex presentations
#31
kohlhase
opened
6 years ago
0
Definition of alpha conversion underspecified
#30
kohlhase
closed
6 years ago
12
Update to new URI spec
#29
kohlhase
closed
6 years ago
6
CDLicense Tag?
#28
kohlhase
closed
6 years ago
1
Reconsider CDUses
#27
kohlhase
closed
6 years ago
1
abstract CDGroups and CDSigs
#26
kohlhase
opened
6 years ago
0
Roles and Complience
#25
kohlhase
opened
6 years ago
1
Specify or forbid whitespace normalisation
#24
kohlhase
opened
6 years ago
4
n-ary OMBIND
#23
kohlhase
opened
6 years ago
0
Inconsistencies between abstract CDs in OM2 and omcd2.rnc
#22
kohlhase
opened
6 years ago
5
Next