om3  

Messages by Thread

• Re: [Om3] Dates for second/third OM3 F2F Meeting Chris Rowley
• [Om3] homework, describing a definition for n-ary plus Jan Willem Knopper
  • Re: [Om3] homework, describing a definition for n-ary plus Lars Hellström
  • Re: [Om3] homework, describing a definition for n-ary plus Jan Willem Knopper
  • Re: [Om3] homework, describing a definition for n-ary plus Lars Hellström
  • Re: [Om3] homework, describing a definition for n-ary plus Andreas Strotmann
  • Re: [Om3] homework, describing a definition for n-ary plus Andreas Strotmann
• [Om3] Theme suggestion for Thursday's F2F agenda Lars Hellström
• [Om3] Reminder: second OM3 F2F today 14:00 CET (in ac 60 min). Michael Kohlhase
  • Re: [Om3] Reminder: second OM3 F2F today 14:00 CET (in ac 60 min). Christoph LANGE
  • Re: [Om3] Reminder: second OM3 F2F today 14:00 CET (in ac 60 min). Christoph LANGE
  • Re: [Om3] Reminder: second OM3 F2F today 14:00 CET (in ac 60 min). Olga Caprotti
  • [Om3] A short comment on two of Michael's ideas. Re: Reminder: today 14:00 CET Chris Rowley
  • Re: [Om3] Reminder: second OM3 F2F today 14:00 CET (in ac 60 min). James Davenport
• [Om3] CD-content-issues… a guideline? Paul Libbrecht
  • Re: [Om3] CD-content-issues… a guideline? Lars Hellström
  • Re: [Om3] CD-content-issues… a guideline? Paul Libbrecht
  • Re: [Om3] CD-content-issues… a guideline? Michael Kohlhase
  • Re: [Om3] CD-content-issues… a guideline? Lars Hellström
• [Om3] [OpenMath] #150: CD-level properties (CMP and FMP) OpenMath
  • Re: [Om3] [OpenMath] #150: CD-level properties (CMP and FMP) OpenMath
• [Om3] Doodel for second OM3 F2F Meeting Michael Kohlhase
  • [Om3] Dates for second/third OM3 F2F Meeting Michael Kohlhase
  • Re: [Om3] Dates for second/third OM3 F2F Meeting Lars Hellström
  • Re: [Om3] Dates for second/third OM3 F2F Meeting David Carlisle
• [Om3] Attempt at an Agenda for today's meeting (now) Michael Kohlhase
• [Om3] Attempt at an Agenda for today's meeting Michael Kohlhase
  • Re: [Om3] Attempt at an Agenda for today's meeting Michael Kohlhase
• [Om3] "OM3 Kickoff Meeting" Friday May 16. 10-12 CET Michael Kohlhase
• [Om3] The OM3 Process: resources Michael Kohlhase
  • Re: [Om3] The OM3 Process: resources James Davenport
  • Re: [Om3] The OM3 Process: resources Michael Kohlhase
  • [Om3] REMDINDER: DOODLE for the OM3 Kickoff meeting. Michael Kohlhase
• Re: [Om3] Initializing OM3@2013 Process James Davenport
  • Re: [Om3] Initializing OM3@2013 Process Michael Kohlhase
  • Re: [Om3] Initializing OM3@2013 Process Chris Rowley
  • Re: [Om3] Initializing OM3@2013 Process Lars Hellström
  • Re: [Om3] Initializing OM3@2013 Process Professor James Davenport
  • Re: [Om3] Initializing OM3@2013 Process Michael Kohlhase
  • Re: [Om3] Initializing OM3@2013 Process Lars Hellström
  • Re: [Om3] Initializing OM3@2013 Process Professor James Davenport
  • Re: [Om3] Initializing OM3@2013 Process Jan Willem Knopper
  • [Om3] Language Dictionaries (Was: Re: Initializing OM3@2013 Process) Lars Hellström
  • Re: [Om3] Language Dictionaries (Was: Re: Initializing OM3@2013 Process) Michael Kohlhase
  • Re: [Om3] Language Dictionaries (Was: Re: Initializing OM3@2013 Process) David Carlisle
  • [Om3] OM/MathML synchronization (was Re: Language Dictionaries) Michael Kohlhase
  • Re: [Om3] Language Dictionaries (Was: Re: Initializing OM3@2013 Process) Michael Kohlhase
  • Re: [Om3] Language Dictionaries (Was: Re: Initializing OM3@2013 Process) Lars Hellström
  • Re: [Om3] Language Dictionaries (Was: Re: Initializing OM3@2013 Process) David Carlisle
  • Re: [Om3] Language Dictionaries (Was: Re: Initializing OM3@2013 Process) Lars Hellström
  • Re: [Om3] Language Dictionaries (Was: Re: Initializing OM3@2013 Process) David Carlisle
  • Re: [Om3] Language Dictionaries (Was: Re: Initializing OM3@2013 Process) Chris Rowley
  • Re: [Om3] Language Dictionaries (Was: Re: Initializing OM3@2013 Process) Michael Kohlhase
  • Re: [Om3] Language Dictionaries (Was: Re: Initializing OM3@2013 Process) Lars Hellström
  • Re: [Om3] Initializing OM3@2013 Process Michael Kohlhase
  • Re: [Om3] Initializing OM3@2013 Process Chris Rowley
  • Re: [Om3] Initializing OM3@2013 Process Lars Hellström
  • Re: [Om3] Initializing OM3@2013 Process Chris Rowley
  • Re: [Om3] Initializing OM3@2013 Process Christoph LANGE
  • Re: [Om3] Initializing OM3@2013 Process Christoph LANGE
• [Om3] Project ideas Professor James Davenport
  • Re: [Om3] Project ideas Christoph LANGE
  • Re: [Om3] Project ideas Paul Libbrecht
  • Re: [Om3] Project ideas Professor James Davenport
  • Re: [Om3] Project ideas Paul Libbrecht
  • Re: [Om3] Project ideas Professor James Davenport
  • Re: [Om3] Project ideas Paul Libbrecht
  • Re: [Om3] Project ideas Professor James Davenport
• [Om3] OM2+ process Lars Hellström
  • Re: [Om3] OM2+ process Professor James Davenport
• [Om3] Floats Lars Hellström
  • Re: [Om3] Floats Professor James Davenport
  • Re: [Om3] Floats Michael Kohlhase
• [Om3] Arity of OMBIND. Procedural question Lars Hellström
  • Re: [Om3] Procedural question Michael Kohlhase
• [Om3] OpenMath 3 XSLT revival, and questions Christoph LANGE
  • Re: [Om3] OpenMath 3 XSLT revival, and questions David Carlisle
• [Om3] Restoring stuff from 'OpenMath 3': ontology, XSLT, etc. Christoph LANGE
  • Re: [Om3] Restoring stuff from 'OpenMath 3': ontology, XSLT, etc. Michael Kohlhase
  • Re: [Om3] Restoring stuff from 'OpenMath 3': ontology, XSLT, etc. Christoph LANGE
  • Re: [Om3] Restoring stuff from 'OpenMath 3': ontology, XSLT, etc. Michael Kohlhase
• [Om3] Kicking off an OpenMath2+Process (Standard Enhancement) Michael Kohlhase
  • Re: [Om3] Kicking off an OpenMath2+Process (Standard Enhancement) Manfred Riem
  • Re: [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement) Professor James Davenport
  • Re: [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement) Lars Hellström
  • Re: [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement) Michael Kohlhase
  • Re: [Om3] Kicking off an OpenMath2+ Process (Standard Enhancement) Professor James Davenport
  • Re: [Om3] Kicking off an OpenMath2+ Process (Standard Enhancement) Michael Kohlhase
  • Re: [Om3] Kicking off an OpenMath2+ Process (Standard Enhancement) Lars Hellström
  • Re: [Om3] Kicking off an OpenMath2+ Process (Standard Enhancement) Professor James Davenport
  • Re: [Om3] Kicking off an OpenMath2+ Process (Standard Enhancement) Michael Kohlhase
  • [Om3] RDF and some JSON [Re: [Om] Kicking off an OpenMath2+Process (Standard Enhancement)] Christoph LANGE
  • Re: [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement) Christoph LANGE
  • Re: [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement) Professor James Davenport
  • Re: [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement) Lars Hellström
  • Re: [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement) Michael Kohlhase
• Re: [Om3] [project-jomdoc] Brackets Urs Holzer
• [Om3] Newbie troubles... Herli Joaquim de Menezes
  • Re: [Om3] Newbie troubles... Christoph LANGE
• Re: [Om3] [project-jomdoc] Real-time ntn rendering in the MathML editor Gemse Christoph LANGE
• Re: [Om3] Complex Variables David Carlisle
  • Re: [Om3] Complex Variables Robert Miner
  • Re: [Om3] Complex Variables Michael Kohlhase
  • Re: [Om3] Complex Variables David Carlisle
  • Re: [Om3] Complex Variables Michael Kohlhase
• [Om3] AfterOpenMath: a new proposal for extensible metadata in CDs Christoph LANGE
• [Om3] UnitsML Professor James Davenport
  • Re: [Om3] UnitsML David Carlisle
  • Re: [Om3] UnitsML Professor James Davenport
  • Re: [Om3] UnitsML Paul Libbrecht
• [Om3] [Fwd: Re: OpenMath 2.0 standard binary encoding error] Professor James Davenport
  • Re: [Om3] [Fwd: Re: OpenMath 2.0 standard binary encoding error] Paul Libbrecht
• Re: [Om3] Om3 Digest, Vol 18, Issue 5 c . a . rowley
  • Re: [Om3] Om3 Digest, Vol 18, Issue 5 David Carlisle
  • Re: [Om3] Om3 Digest, Vol 18, Issue 5 Paul Libbrecht
• [Om3] Summary of the Davenport&Kohlhase Proposal Michael Kohlhase
  • Re: [Om3] Summary of the Davenport&Kohlhase Proposal Paul Libbrecht
  • Re: [Om3] Summary of the Davenport&Kohlhase Proposal Michael Kohlhase
  • Re: [Om3] Summary of the Davenport&Kohlhase Proposal David Carlisle
  • Re: [Om3] Summary of the Davenport&Kohlhase Proposal Paul Libbrecht
  • Re: [Om3] Summary of the Davenport&Kohlhase Proposal David Carlisle
  • Re: [Om3] Summary of the Davenport&Kohlhase Proposal Michael Kohlhase
  • Re: [Om3] Summary of the Davenport&Kohlhase Proposal David Carlisle
  • Re: [Om3] Summary of the Davenport&Kohlhase Proposal Michael Kohlhase
  • Re: [Om3] Summary of the Davenport&Kohlhase Proposal Florian Rabe
  • Re: [Om3] Summary of the Davenport&Kohlhase Proposal David Carlisle
  • Re: [Om3] Summary of the Davenport&Kohlhase Proposal Florian Rabe
  • Re: [Om3] Summary of the Davenport&Kohlhase Proposal David Carlisle
• Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Professor James Davenport
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions c . a . rowley
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Professor James Davenport
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions c . a . rowley
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Professor James Davenport
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions c . a . rowley
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Professor James Davenport
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Robert Miner
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Paul Libbrecht
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Robert Miner
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Professor James Davenport
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Robert Miner
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Professor James Davenport
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions David Carlisle
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Professor James Davenport
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions David Carlisle
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Professor James Davenport
  • [Om3] Pragmatics, timing, summary, and proposed resolutions Michael Kohlhase
  • Re: [Om3] Pragmatics, timing, summary, and proposed resolutions David Carlisle
  • Re: [Om3] Pragmatics, timing, summary, and proposed resolutions Michael Kohlhase
  • Re: [Om3] Pragmatics, timing, summary, and proposed resolutions David Carlisle
  • Re: [Om3] Pragmatics, timing, summary, and proposed resolutions Michael Kohlhase
  • Re: [Om3] Pragmatics, timing, summary, and proposed resolutions David Carlisle
  • Re: [Om3] Pragmatics, timing, summary, and proposed resolutions Michael Kohlhase
  • Re: [Om3] Pragmatics, timing, summary, and proposed resolutions c . a . rowley
  • Re: [Om3] Pragmatics, timing, summary, and proposed resolutions David Carlisle
  • [Om3] A dynamic future? c . a . rowley
  • Re: [Om3] A dynamic future? David Carlisle
  • Re: [Om3] A dynamic future? Professor James Davenport
  • Re: [Om3] Pragmatics, timing, summary, and proposed resolutions Professor James Davenport
  • Re: [Om3] Pragmatics, timing, summary, and proposed resolutions Robert Miner
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions David Carlisle
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Professor James Davenport
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions David Carlisle
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions c . a . rowley
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Professor James Davenport
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions c . a . rowley
  • [Om3] Pragmatics, timing, summary, and proposed resolutions Robert Miner
  • Re: [Om3] Pragmatics, timing, summary, and proposed resolutions David Carlisle
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions David Carlisle
  • Re: [Om3] Being pragmatic about the semantics of, eg, variables and functions Professor James Davenport
• [Om3] Being pragmatic about the semantics of, eg, variables and functions c . a . rowley
• [Om3] OM/MathML alignment and extension proposal Michael Kohlhase
• [Om3] Announcement: Java Library for SCSCP and OpenMath Peter Horn
• [Om3] Types of @xref and OpenMath's @href Christoph LANGE
• Re: [Om3] trouble with container markup example Paul Libbrecht
  • Re: [Om3] trouble with container markup example Robert Miner
  • Re: [Om3] trouble with container markup example Professor James Davenport
  • Re: [Om3] trouble with container markup example Paul Libbrecht
  • Re: [Om3] trouble with container markup example Professor James Davenport
  • Re: [Om3] trouble with container markup example Paul Libbrecht
  • Re: [Om3] trouble with container markup example Professor James Davenport
  • Re: [Om3] trouble with container markup example Paul Libbrecht
  • Re: [Om3] trouble with container markup example Professor James Davenport
  • Re: [Om3] trouble with container markup example Paul Libbrecht
  • Re: [Om3] trouble with container markup example Professor James Davenport
  • Re: [Om3] trouble with container markup example David Carlisle
  • Re: [Om3] trouble with container markup example Robert Miner
• Re: [Om3] Math in office documents/Providing an implementation for a symbol Paul Libbrecht
  • Re: [Om3] Math in office documents/Providing an implementation for a symbol Bryce L Nordgren
  • Re: [Om3] Math in office documents/Providing an implementation for a symbol Paul Libbrecht
• Re: [Om3] Your question on the wiki discussion page cd:fns1 Christoph LANGE
• Re: [Om3] BST Chris Rowley
• [Om3] FM re three avenues for the condition elements Chris Rowley
  • Re: [Om3] FM re three avenues for the condition elements David Carlisle
  • Re: [Om3] FM re three avenues for the condition elements Professor James Davenport
  • Re: [Om3] FM re three avenues for the condition elements Michael Kohlhase
  • Re: [Om3] FM re three avenues for the condition elements David Carlisle
  • Re: [Om3] FM re three avenues for the condition elements Olga Caprotti
• Re: [Om3] Om3 Digest, Vol 15, Issue 8 Chris Rowley
• Re: [Om3] Om3 Digest, Vol 15, Issue 1 Chris Rowley
• [Om3] Want a wiki for browsing OpenMath 2 CDs? Christoph LANGE

• Earlier messages