January 2008 Archives by date
Starting: Sun Jan 6 12:24:40 CET 2008
Ending: Wed Jan 30 09:33:32 CET 2008
Messages: 100
- [Trac] [OpenMath] #8: Text format for CD and Symbol descriptions
OpenMath
- [Trac] [OpenMath] #14: arity for symbols
OpenMath
- [Trac] [OpenMath] #18: CDLicense Tag?
OpenMath
- [Trac] [OpenMath] #19: joint format for properties
OpenMath
- [Trac] [OpenMath] #20: joint format for examples
OpenMath
- [Trac] [OpenMath] #12: Author, rights, and derived-from
OpenMath
- [Trac] [OpenMath] #5: FMP type=defining
OpenMath
- [Trac] [OpenMath] #10: User-oriented titles
OpenMath
- [Trac] [OpenMath] #11: Mixed content for textual bits
OpenMath
- [Trac] [OpenMath] #7: Denotation official of CDs
OpenMath
- [Trac] [OpenMath] #15: sort out set/multiset in mcd examples
OpenMath
- [Trac] [OpenMath] #16: sort out data/dist in s-data1.mcd and s-dist1.mcd
OpenMath
- [Trac] [OpenMath] #17: Sort out integrals between OpenMath and MathML
OpenMath
- [Trac] [OpenMath] #1: Definition of alpha conversion underspecified
OpenMath
- [Trac] [OpenMath] #3: OMV with complex presentations
OpenMath
- [Trac] [OpenMath] #4: OMBVARS is nary and bvar is unary
OpenMath
- [Trac] [OpenMath] #13: Subsumption relation between symbols
OpenMath
- [Trac] [OpenMath] #9: Update to new URI spec
OpenMath
- [Trac] [OpenMath] #2: Write a new OM/MathML alignment document
OpenMath
- [Trac] [OpenMath] #7: Denotation official of CDs
OpenMath
- [Trac] [OpenMath] #7: Denotation official of CDs
OpenMath
- [Trac] [OpenMath] #15: sort out set/multiset in mcd examples
OpenMath
- [Trac] [OpenMath] #14: arity for symbols
OpenMath
- [Trac] [OpenMath] #16: sort out data/dist in s-data1.mcd and s-dist1.mcd
OpenMath
- [Trac] [OpenMath] #15: sort out set/multiset in mcd examples
OpenMath
- [Trac] [OpenMath] #15: sort out set/multiset in mcd examples
OpenMath
- [Trac] [OpenMath] #16: sort out data/dist in s-data1.mcd and s-dist1.mcd
OpenMath
- [Trac] [OpenMath] #15: sort out set/multiset in mcd examples
OpenMath
- [Trac] [OpenMath] #16: sort out data/dist in s-data1.mcd and s-dist1.mcd
OpenMath
- [Trac] [OpenMath] #15: sort out set/multiset in mcd examples
OpenMath
- [Trac] [OpenMath] #15: sort out set/multiset in mcd examples
OpenMath
- [Trac] [OpenMath] #21: Rethink STS in light of RNC generation
OpenMath
- [Trac] [OpenMath] #14: arity for symbols
OpenMath
- [Trac] [OpenMath] #22: Do something about the MathML2 type information
OpenMath
- [Trac] [OpenMath] #22: Do something about the MathML2 type information
OpenMath
- [Trac] [OpenMath] #22: Do something about the MathML2 type information
OpenMath
- [Trac] [OpenMath] #21: Rethink STS in light of RNC generation
OpenMath
- [Trac] test, please disregard
Michael Kohlhase
- [Trac] [OpenMath] #15: sort out set/multiset in mcd examples
OpenMath
- [Trac] test, please disregard
Jan Willem Knopper
- [Trac] [OpenMath] #21: Rethink STS in light of RNC generation
OpenMath
- [Trac] [OpenMath] #11: Mixed content for textual bits in CD descriptions
OpenMath
- [Trac] [OpenMath] #8: Text format for CD and Symbol descriptions
OpenMath
- [Trac] [OpenMath] #11: Mixed content for textual bits in CD descriptions
OpenMath
- [Trac] [OpenMath] #11: Mixed content for textual bits in CD descriptions
OpenMath
- [Trac] [OpenMath] #11: Mixed content for textual bits in CD descriptions
OpenMath
- [Trac] [OpenMath] #14: arity for symbols
OpenMath
- [Trac] [OpenMath] #17: Sort out integrals between OpenMath and MathML
OpenMath
- [Trac] [OpenMath] #11: Mixed content for textual bits in CD descriptions
OpenMath
- [Trac] [OpenMath] #6: multiple roles for OM symbols
OpenMath
- [Trac] [OpenMath] #23: sort out symbols for associative binary operators, e.g. union
OpenMath
- [Trac] [OpenMath] #23: sort out symbols for associative binary operators, e.g. union
OpenMath
- [Trac] [OpenMath] #23: sort out symbols for associative binary operators, e.g. union
OpenMath
- [Trac] [OpenMath] #23: sort out symbols for associative binary operators, e.g. union
OpenMath
- [Trac] [OpenMath] #24: Lifting Operators for associative operators.
OpenMath
- [Trac] [OpenMath] #11: Mixed content for textual bits in CD descriptions
OpenMath
- [Trac] [OpenMath] #25: Names of the OM3/MathML3 CDs
OpenMath
- [Trac] [OpenMath] #23: sort out symbols for associative binary operators, e.g. union
OpenMath
- [Trac] [OpenMath] #23: sort out symbols for associative binary operators, e.g. union
OpenMath
- [Trac] [OpenMath] #25: Names of the OM3/MathML3 CDs
OpenMath
- [Trac] [OpenMath] #26: merge omtypes.ocd and mathmltypes.ocd and sts.ocd
OpenMath
- [Trac] [OpenMath] #27: symbols for basic sts types?
OpenMath
- [Trac] [OpenMath] #28: New Roles for Types?
OpenMath
- [Trac] [OpenMath] #29: Convert and Merge *.mts type information
OpenMath
- [Trac] [OpenMath] #30: Sort out types
OpenMath
- [Trac] [OpenMath] #11: Mixed content for textual bits in CD descriptions
OpenMath
- [Trac] [OpenMath] #25: Names of the OM3/MathML3 CDs
OpenMath
- [Trac] [OpenMath] #27: symbols for basic sts types?
OpenMath
- [Trac] [OpenMath] #26: merge omtypes.ocd and mathmltypes.ocd and sts.ocd
OpenMath
- [Trac] [OpenMath] #28: New Roles for Types?
OpenMath
- [Trac] [OpenMath] #31: containers are used as binding symbols in MathML2
OpenMath
- [Trac] [OpenMath] #27: symbols for basic sts types?
OpenMath
- [Trac] [OpenMath] #23: sort out symbols for associative binary operators, e.g. union
OpenMath
- [Trac] [OpenMath] #32: FMP type=alias
OpenMath
- [Trac] [OpenMath] #25: Names of the OM3/MathML3 CDs
OpenMath
- [Trac] [OpenMath] #32: FMP type=alias
OpenMath
- [Trac] [OpenMath] #33: limit different between MathML and OM (binding vs function)
OpenMath
- [Trac] [OpenMath] #34: CD symbol for <tendsto/>
OpenMath
- [Trac] [OpenMath] #35: run ispell and RNC over all the CDs
OpenMath
- [Trac] [OpenMath] #32: FMP type=alias
OpenMath
- [Trac] [OpenMath] #32: FMP type=alias
OpenMath
- [Trac] [OpenMath] #31: containers are used as binding symbols in MathML2
OpenMath
- [Trac] [OpenMath] #27: symbols for basic sts types?
OpenMath
- [Trac] [OpenMath] #33: limit different between MathML and OM (binding vs function)
OpenMath
- [Trac] [OpenMath] #34: CD symbol for <tendsto/>
OpenMath
- [Trac] [OpenMath] #11: Mixed content for textual bits in CD descriptions
OpenMath
- [Trac] [OpenMath] #7: Denotation official of CDs
OpenMath
- [Trac] [OpenMath] #31: containers are used as binding symbols in MathML2
OpenMath
- [Trac] [OpenMath] #7: Denotation official of CDs
OpenMath
- [Trac] [OpenMath] #36: alg1.ocd in OM3/MathML3 group examples.
OpenMath
- [Trac] [OpenMath] #36: alg1.ocd in OM3/MathML3 group examples.
OpenMath
- [Trac] [OpenMath] #36: alg1.ocd in OM3/MathML3 group examples.
OpenMath
- [Trac] [OpenMath] #36: alg1.ocd in OM3/MathML3 group examples.
OpenMath
- [Trac] [OpenMath] #31: containers are used as binding symbols in MathML2
OpenMath
- [Trac] [OpenMath] #36: alg1.ocd in OM3/MathML3 group examples.
OpenMath
- [Trac] [OpenMath] #31: containers are used as binding symbols in MathML2
OpenMath
- [Trac] [OpenMath] #36: alg1.ocd in OM3/MathML3 group examples.
OpenMath
- [Trac] [OpenMath] #36: alg1.ocd in OM3/MathML3 group examples.
OpenMath
- [Trac] [OpenMath] #11: Mixed content for textual bits in CD descriptions
OpenMath
- [Trac] [OpenMath] #31: containers are used as binding symbols in MathML2
OpenMath
Last message date:
Wed Jan 30 09:33:32 CET 2008
Archived on: Wed Jan 30 09:28:15 CET 2008
This archive was generated by
Pipermail 0.09 (Mailman edition).