September 2008 Archives by thread

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

Starting: Thu Sep 4 02:52:57 CEST 2008
Ending: Tue Sep 30 08:57:43 CEST 2008
Messages: 168

• [Om3] OpenMath wiki for CD editors   Christoph LANGE
• [Om3] OpenMath wiki next steps: OM3 CDs, queries, discussions   Christoph LANGE
• [Om3] rnc/rng discrepancies   Christoph LANGE
  • [Om3] rnc/rng discrepancies   Michael Kohlhase
• [Om3] <Description>   Professor James Davenport
  • [Om3] <Description>   Christoph LANGE
• [Om3] target K14 for reading content-math spec any realistic?   Paul Libbrecht
  • [Om3] target K14 for reading content-math spec any realistic?   Chris Rowley
    • [Om3] target K14 for reading content-math spec any realistic?   Paul Libbrecht
      • [Om3] target K14 for reading content-math spec any realistic?   Michael Kohlhase
      • [Om3] target K14 for reading content-math spec any realistic?   Paul Libbrecht
      • [Om3] target K14 for reading content-math spec any realistic?   Chris Rowley
      • [Om3] target K14 for reading content-math spec any realistic?   Michael Kohlhase
      • [Om3] target K14 for reading content-math spec any realistic?   Michael Kohlhase
  • [Om3] target K14 for reading content-math spec any realistic?   Professor James Davenport
  • [Om3] target K14 for reading content-math spec any realistic?   David Carlisle
  • [Om3] target K14 for reading content-math spec any realistic?   Stan Devitt
    • [Om3] target K14 for reading content-math spec any realistic?   jhd at cs.bath.ac.uk
      • [Om3] target K14 for reading content-math spec any realistic?   Stan Devitt
• [Om3] Difference between description and discussion?   Christoph LANGE
  • [Om3] Difference between description and discussion?   Michael Kohlhase
    • [Om3] Difference between description and discussion?   Christoph LANGE
• [Om3] Some XSLT issues, and a Trac component   Christoph LANGE
• [Om3] Refactoring cd2html.xsl: where and how is it used?   Christoph LANGE
  • [Om3] Refactoring cd2html.xsl: where and how is it used?   David Carlisle
    • [Om3] Refactoring cd2html.xsl: where and how is it used?   Christoph LANGE
    • [Om3] Refactoring cd2html.xsl: where and how is it used?   Christoph LANGE
      • [Om3] Refactoring cd2html.xsl: where and how is it used?   David Carlisle
      • [Om3] Refactoring cd2html.xsl: where and how is it used?   Christoph LANGE
• [Om3] Algebraic number fields!   Chris Rowley
• [Om3] target K14 for reading content-math spec any realistic?   Professor James Davenport
• [Om3] OpenMath Symbols for Symbolic Computation   Peter Horn
  • [Om3] OpenMath Symbols for Symbolic Computation   David Carlisle
    • [Om3] OpenMath Symbols for Symbolic Computation   Peter Horn
  • [Om3] OpenMath Symbols for Symbolic Computation   Professor James Davenport
    • [Om3] OpenMath Symbols for Symbolic Computation   Peter Horn
    • [Om3] OpenMath Symbols for Symbolic Computation   Sebastian Freundt
      • [Om3] OpenMath Symbols for Symbolic Computation   Paul Libbrecht
      • [Om3] OpenMath Symbols for Symbolic Computation   Sebastian Freundt
      • [Om3] OpenMath Symbols for Symbolic Computation   Professor James Davenport
      • [Om3] OpenMath Symbols for Symbolic Computation   Peter Horn
      • [Om3] OpenMath Symbols for Symbolic Computation   Paul Libbrecht
      • [Om3] OpenMath Symbols for Symbolic Computation   Peter Horn
      • [Om3] OpenMath Symbols for Symbolic Computation   Sebastian Freundt
      • [Om3] OpenMath Symbols for Symbolic Computation   jhd at cs.bath.ac.uk
      • [Om3] OpenMath Symbols for Symbolic Computation   Peter Horn
      • [Om3] OpenMath Symbols for Symbolic Computation   Paul Libbrecht
• [Om3] Wiki down due to XML processing trouble   Christoph LANGE
• [Om3] RSS feed for svn commits   Paul Libbrecht
• [Om3] Wiki back online with OpenMath 3 CDs   Christoph LANGE
• [Om3] linear algebra CDs   Michael Kohlhase
  • [Om3] linear algebra CDs   Michael Kohlhase
  • [Om3] linalg6 in the wiki [Re: linear algebra CDs]   Christoph LANGE
• [Om3] Symbol Definitions in the Description elements (that go into chapter4)   Michael Kohlhase
  • [Om3] Symbol Definitions in the Description elements (that go into chapter4)   jhd at cs.bath.ac.uk
    • [Om3] Symbol Definitions in the Description elements (that go into chapter4)   Michael Kohlhase
      • [Om3] Symbol Definitions in the Description elements (that go into chapter4)   jhd at cs.bath.ac.uk
• [Om3] need list2.ocd for MathML group   Michael Kohlhase
  • [Om3] need list2.ocd for MathML group   Chris Rowley
  • [Om3] need list2.ocd for MathML group   David Carlisle
    • [Om3] need list2.ocd for MathML group   Michael Kohlhase
      • [Om3] need list2.ocd for MathML group   David Carlisle
      • [Om3] need list2.ocd for MathML group   Professor James Davenport
      • [Om3] need list2.ocd for MathML group   Michael Kohlhase
      • [Om3] need list2.ocd for MathML group   David Carlisle
      • [Om3] need list2.ocd for MathML group   Michael Kohlhase
• [Om3] Splitting <Description>   jhd at cs.bath.ac.uk
  • [Om3] Splitting <Description>   Michael Kohlhase
    • [Om3] Splitting <Description>   jhd at cs.bath.ac.uk
      • [Om3] Splitting <Description>   Michael Kohlhase
      • [Om3] Splitting <Description>   jhd at cs.bath.ac.uk
  • [Om3] Splitting <Description>   David Carlisle
• [Om3] Symbol Definitions in the Description elements (that go into chapter4)   Michael Kohlhase
  • [Om3] Symbol Definitions in the Description elements (that go into chapter4)   jhd at cs.bath.ac.uk
• [Om3] Symbol Definitions in the Description elements   Chris Rowley
  • [Om3] Symbol Definitions in the Description elements   Chris Rowley
  • [Om3] Symbol Definitions in the Description elements   Professor James Davenport
    • [Om3] Symbol Definitions in the Description elements   Chris Rowley
      • [Om3] Symbol Definitions in the Description elements   Professor James Davenport
      • [Om3] Symbol Definitions in the Description elements   Chris Rowley
• [Om3] [Fwd: Re: OpenMath Symbols for Symbolic Computation]   jhd at cs.bath.ac.uk
  • [Om3] [Fwd: Re: OpenMath Symbols for Symbolic Computation]   Sebastian Freundt
• [Om3] CD-review little report   Paul Libbrecht
  • [Om3] CD-review little report   Paul Libbrecht
  • [Om3] CD-review little report   Professor James Davenport
    • [Om3] CD-review little report   Professor James Davenport
      • [Om3] CD-review little report   Paul Libbrecht
      • [Om3] CD-review little report   Professor James Davenport
    • [Om3] CD-review little report   Paul Libbrecht
      • [Om3] CD-review little report   Professor James Davenport
      • [Om3] CD-review little report   Paul Libbrecht
      • [Om3] CD-review little report   Michael Kohlhase
• [Om3] binary vs n-ary relations   Michael Kohlhase
  • [Om3] binary vs n-ary relations   Professor James Davenport
  • [Om3] binary vs n-ary relations   Paul Libbrecht
    • [Om3] binary vs n-ary relations   Professor James Davenport
      • [Om3] binary vs n-ary relations   Bruce Miller
      • [Om3] binary vs n-ary relations   Professor James Davenport
      • [Om3] binary vs n-ary relations   Paul Libbrecht
      • [Om3] binary vs n-ary relations   Professor James Davenport
      • [Om3] binary vs n-ary relations   Michael Kohlhase
      • [Om3] binary vs n-ary relations   Professor James Davenport
      • [Om3] binary vs n-ary relations   Michael Kohlhase
      • [Om3] binary vs n-ary relations   Michael Kohlhase
      • [Om3] binary vs n-ary relations   David Carlisle
      • [Om3] binary vs n-ary relations   Michael Kohlhase
      • [Om3] binary vs n-ary relations   Professor James Davenport
      • [Om3] binary vs n-ary relations   Paul Libbrecht
      • [Om3] binary vs n-ary relations   Michael Kohlhase
      • [Om3] binary vs n-ary relations   Peter Horn
      • [Om3] binary vs n-ary relations   David Carlisle
      • [Om3] binary vs n-ary relations   Michael Kohlhase
      • [Om3] binary vs n-ary relations   Michael Kohlhase
• [Om3] reworking the CDs for Chapter 4 (beware of conflicts)   Michael Kohlhase
• [Om3] binary vs n-ary relations   Chris Rowley
  • [Om3] binary vs n-ary relations   Jan Willem Knopper
    • [Om3] binary vs n-ary relations   Professor James Davenport
      • [Om3] binary vs n-ary relations   Jan Willem Knopper
      • [Om3] binary vs n-ary relations   Paul Libbrecht
      • [Om3] binary vs n-ary relations   Jan Willem Knopper
      • [Om3] binary vs n-ary relations   David Carlisle
      • [Om3] binary vs n-ary relations   Chris Rowley
      • [Om3] binary vs n-ary relations   Paul Libbrecht
      • [Om3] binary vs n-ary relations   Chris Rowley
      • [Om3] binary vs n-ary relations   Peter Horn
      • [Om3] binary vs n-ary relations   Professor James Davenport
      • [Om3] binary vs n-ary relations   Peter Horn
      • [Om3] binary vs n-ary relations   Chris Rowley
      • [Om3] binary vs n-ary relations   Chris Rowley
    • [Om3] binary vs n-ary relations   Chris Rowley
      • [Om3] binary vs n-ary relations   Professor James Davenport
    • [Om3] Wiki problems? [Re: binary vs n-ary relations]   Christoph LANGE
• [Om3] Conditions in MathML/OpenMath & calculus1.ocd   Michael Kohlhase
• [Om3] Conditions in MathML/OpenMath & calculus1.ocd   Michael Kohlhase
• [Om3] calculus function difference application   Jan Willem Knopper
  • [Om3] calculus function difference application   Professor James Davenport
    • [Om3] calculus function difference application   Jan Willem Knopper
      • [Om3] calculus function difference application   Professor James Davenport
• [Om3] calculus function difference application   Chris Rowley
• [Om3] Editing in the wiki now works   Christoph LANGE
  • [Om3] Editing in the wiki now works   Christoph LANGE
  • [Om3] Editing in the wiki now works   Christoph LANGE
• [Om3] Urgent wiki question: How would you like your metadata?   Christoph LANGE
• [Om3] Wiki used wrong database, now fixed   Christoph LANGE
• [Om3] Urgent wiki question: How would you like your metadata?   Christoph LANGE
• [Om3] CD-review little report   Paul Libbrecht
  • [Om3] CD-review little report   Professor James Davenport
    • [Om3] CD-review little report   David Carlisle
      • [Om3] CD-review little report   Michael Kohlhase
      • [Om3] CD-review little report   Peter Horn
      • [Om3] CD-review little report   Professor James Davenport
  • [Om3] CD-review little report   Stan Devitt
• [Om3] CD-review little report   Paul Libbrecht
  • [Om3] CD-review little report   Stan Devitt
• [Om3] CD-review little report   Michael Kohlhase
• [Om3] Depth of splitting CDs imported into the wiki   Christoph LANGE
• [Om3] Editing in the wiki works (really!)   Christoph LANGE
  • [Om3] Editing in the wiki works (really!)   Christoph LANGE
• [Om3] Wiki question: support XML comments? -- Found one in interval1   Christoph LANGE
  • [Om3] Wiki question: support XML comments? -- Found one in interval1   Christoph LANGE
  • [Om3] Wiki question: support XML comments? -- Found one in interval1   Paul Libbrecht
    • [Om3] XML Comments now supported [Re: Wiki question: support XML comments? ...]   Christoph LANGE
• [Om3] Skype F2F for calculus3 and condition element in OpenMath   Michael Kohlhase
  • [Om3] Skype F2F for calculus3 and condition element in OpenMath   Professor James Davenport
  • [Om3] Skype F2F for calculus3 and condition element in OpenMath   David Carlisle
  • [Om3] Skype F2F for calculus3 and condition element in OpenMath   Michael Kohlhase
    • [Om3] Skype F2F for calculus3 and condition element in OpenMath   Professor James Davenport
• [Om3] Skype F2F for calculus3 and condition element in OpenMath   Chris Rowley

Last message date: Tue Sep 30 08:57:43 CEST 2008
Archived on: Tue Sep 30 08:04:57 CEST 2008

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