search

nzhiltsov / mocassin

Automatically exported from code.google.com/p/mocassin
0 stars 0 forks source link

Add support OpenMath individuals for Symbol class #5

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
1. Add OpenMath individuals for http://omdoc.org/ontology#Symbol
2. Add UI represenation of these individuals to query input

Original issue reported on code.google.com by nikita.z...@gmail.com on 16 Jan 2010 at 8:46

GoogleCodeExporter commented 9 years ago

Original comment by nikita.z...@gmail.com on 16 Jan 2010 at 9:36

GoogleCodeExporter commented 9 years ago

Original comment by nikita.z...@gmail.com on 17 Jan 2010 at 4:32

GoogleCodeExporter commented 9 years ago

Original comment by nikita.z...@gmail.com on 24 Jan 2010 at 6:32

GoogleCodeExporter commented 9 years ago

Original comment by nikita.z...@gmail.com on 26 Jan 2010 at 5:48

GoogleCodeExporter commented 9 years ago

Original comment by nikita.z...@gmail.com on 30 Mar 2010 at 5:58

GoogleCodeExporter commented 9 years ago

Original comment by nikita.z...@gmail.com on 22 Jun 2010 at 10:25

GoogleCodeExporter commented 9 years ago

Original comment by nikita.z...@gmail.com on 16 Feb 2011 at 2:12