January 2008 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

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] #21: Rethink STS in light of RNC generation   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] 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] #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] #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] #25: Names of the OM3/MathML3 CDs   OpenMath
  • [Trac] [OpenMath] #25: Names of the OM3/MathML3 CDs   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] #26: merge omtypes.ocd and mathmltypes.ocd and sts.ocd   OpenMath
• [Trac] [OpenMath] #27: symbols for basic sts types?   OpenMath
  • [Trac] [OpenMath] #27: symbols for basic sts types?   OpenMath
  • [Trac] [OpenMath] #27: symbols for basic sts types?   OpenMath
  • [Trac] [OpenMath] #27: symbols for basic sts types?   OpenMath
• [Trac] [OpenMath] #28: New Roles for 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] #31: containers are used as binding symbols in MathML2   OpenMath
  • [Trac] [OpenMath] #31: containers are used as binding symbols in MathML2   OpenMath
  • [Trac] [OpenMath] #31: containers are used as binding symbols in MathML2   OpenMath
  • [Trac] [OpenMath] #31: containers are used as binding symbols in MathML2   OpenMath
  • [Trac] [OpenMath] #31: containers are used as binding symbols in MathML2   OpenMath
  • [Trac] [OpenMath] #31: containers are used as binding symbols in MathML2   OpenMath
• [Trac] [OpenMath] #32: FMP type=alias   OpenMath
  • [Trac] [OpenMath] #32: FMP type=alias   OpenMath
  • [Trac] [OpenMath] #32: FMP type=alias   OpenMath
  • [Trac] [OpenMath] #32: FMP type=alias   OpenMath
• [Trac] [OpenMath] #33: limit different between MathML and OM (binding vs function)   OpenMath
  • [Trac] [OpenMath] #33: limit different between MathML and OM (binding vs function)   OpenMath
• [Trac] [OpenMath] #34: CD symbol for <tendsto/>   OpenMath
  • [Trac] [OpenMath] #34: CD symbol for <tendsto/>   OpenMath
• [Trac] [OpenMath] #35: run ispell and RNC over all the CDs   OpenMath
• [Trac] [OpenMath] #11: Mixed content for textual bits in CD descriptions   OpenMath
• [Trac] [OpenMath] #7: Denotation official of CDs   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] #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] #11: Mixed content for textual bits in CD descriptions   OpenMath

Last message date: Wed Jan 30 09:33:32 CET 2008
Archived on: Wed Jan 30 09:28:15 CET 2008

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...