om3  

Messages by Date

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

• Earlier messages