{2} Active Tickets by Version (201 matches)

This report shows how to color results by priority, while grouping results by version.

Last modification time, description and reporter are included as hidden fields for useful RSS export.

Results (1 - 100 of 201)

1 2 3 →
Ticket Summary Component Version Type Owner Status Created
#225 Parse binders [SI] NTN enhancement clange new 02/04/09
#227 Parse exprlist [SI] NTN enhancement clange new 02/04/09
#209 Standard context dimension vocabulary Presentation question vzholudev new 01/20/09
#224 Adapt test cases to the restructured grammar [SI] NTN task clange new 02/04/09
#368 JOBAD user evaluation JOBAD task cdavid new 04/07/09
#369 JOBAD Case study for elision JOBAD Case Study/Application cdavid new 04/10/09
#52 Specification: declarative syntax for OMAs and OMBINDs Presentation defect vzholudev new 08/05/08
#276 index handling in XSLT System Implementation (SI) defect clange new 02/27/09
#280 Linebreaks not preserved in XML listing XSLT defect clange new 02/27/09
#289 economize on spans in generated xhtml XSLT defect clange new 02/27/09
#290 empty namespaces in generated XHTML XSLT defect clange new 02/27/09
#291 Preserve value of XREF attribute in Method element XSLT defect clange new 02/28/09
#293 Fix OMDoc to XHTML conversion for premise XSLT defect clange new 02/28/09
#295 XHTML Reference from Definition to Symbol XSLT defect clange new 02/28/09
#296 Transformation from link-href value into a-href value XSLT defect clange new 02/28/09
#297 Transformation from xref-value to a-href value XSLT defect clange new 02/28/09
#308 Multilanguage rendering XSLT defect clange new 03/04/09
#316 Consider JSON as a data format for communication of medium complexity JOBAD defect cdavid new 03/09/09
#321 Figure out where to place "global" UI elements JOBAD defect cdavid new 03/13/09
#351 Drop iterate/@precedence [SI] NTN defect dmisev new 03/31/09
#361 JOBAD context menu hides browser context menu JOBAD defect clange new 04/07/09
#383 whitespace not preserved in private/data[@format=text] in mode=show-image XSLT defect clange reopened 05/05/09
#384 omdoc:term needs to acquire proper crossreferencing XSLT defect clange new 05/05/09
#388 jomdoc validate --symlinks has a problem with nested theories. System Implementation (SI) defect dmisev assigned 05/12/09
#400 Inconsistency in the value "sequence" of the type attribute in omgroup - definition vs implementation and usage System Implementation (SI) defect vzholudev new 06/07/09
#417 Factor visibility/elision out of LATIN into an independent service JOBAD defect cdavid new 06/30/09
#440 Definition lookup should show both declaration and definition JOBAD defect cdavid new 07/23/09
#443 Adaptive rendering of types Presentation defect vzholudev new 07/24/09
#46 Renderer for notation definitions Documentation enhancement vzholudev new 08/01/08
#50 Elision in different elision groups is not always independent Presentation enhancement vzholudev new 08/05/08
#51 Specification: presentation of bound variables depending on the binder Presentation enhancement vzholudev new 08/05/08
#53 Specification: meta-theory-sensitive notation specifications Presentation enhancement vzholudev new 08/05/08
#169 n-times click should select n-th parent term JOBAD enhancement cdavid new 11/28/08
#174 Rendering support for folding with abbreviations Presentation enhancement clange new 11/28/08
#189 Change declarative notations via JOBAD JOBAD enhancement cdavid new 12/12/08
#190 Sharing renderings among notation definitions Presentation enhancement vzholudev new 12/16/08
#205 Three-state folding of abbreviated terms JOBAD enhancement cdavid new 01/12/09
#231 Parse text (simple) [SI] NTN enhancement clange new 02/04/09
#232 Allow for string escapes in text [SI] NTN enhancement clange new 02/04/09
#253 Display only [in]formal parts of a document JOBAD enhancement clange new 02/20/09
#269 Pass multiple (cascading) CSS into JOMDoc→XSLT XSLT enhancement clange new 02/25/09
#278 Renaming of Variables for Reuse System Implementation (SI) enhancement frabe new 02/27/09
#279 PDF output via OMDoc --XSLT--> XHTML+MathML --> PDF XSLT enhancement clange new 02/27/09
#282 presentation for theories CSS enhancement StefanMirea new 02/27/09
#283 Create CSS for print output media CSS enhancement StefanMirea new 02/27/09
#284 Submit the current state of the document's adaptation back to the server JOBAD enhancement cdavid new 02/27/09
#298 Look up the type of a symbol JOBAD enhancement cdavid new 02/28/09
#304 jomdoc validate should validate OMR/share links System Implementation (SI) enhancement vzholudev new 03/03/09
#305 does jomdoc validate --imports actually look for symbol elements? System Implementation (SI) enhancement vzholudev new 03/03/09
#307 Look up targets of any kind of link JOBAD enhancement cdavid new 03/03/09
#312 Make "put into maction and hide" a general pattern JOBAD enhancement cdavid new 03/04/09
#322 GUI module: one toolbar (with tool buttons, slider, etc.) per formula JOBAD enhancement cdavid new 03/13/09
#323 Wikipedia article lookup JOBAD enhancement cdavid new 03/13/09
#367 Service that logs all interaction JOBAD enhancement cdavid assigned 04/07/09
#370 Definition expansion for "pattern"-type definitions JOBAD enhancement cdavid new 04/17/09
#371 Use the right rendering context when expanding definitions JOBAD enhancement cdavid new 04/17/09
#372 Definition expansion for inductive/recursive definitions JOBAD enhancement cdavid new 04/17/09
#426 Label the contextMenu items with the corresponding shortcut key JOBAD enhancement cdavid assigned 07/07/09
#428 Make shortcuts work for selection as well JOBAD enhancement cdavid new 07/08/09
#441 Rendering of terms: don't link them while in the definition of the same symbol XSLT enhancement clange new 07/23/09
#170 fold treats mrow, mi, mo, mn equally JOBAD potential innovation cdavid new 11/28/08
#219 Applying elision and folding for proof explanation JOBAD potential innovation clange new 01/28/09
#272 Markup and Query of novel points unknown potential innovation vzholudev new 02/26/09
#363 Deep inspection of folded induction proofs JOBAD potential innovation cdavid new 04/07/09
#364 Consider privacy and trust in interaction with 3rd-party web services JOBAD potential innovation cdavid new 04/07/09
#366 Case study: enrich theorem prover library web sites with JOBAD JOBAD potential innovation clange new 04/07/09
#386 Represent unit in different unit systems System Implementation (SI) potential innovation vzholudev new 05/10/09
#694 Reintroduce RDFa output into XSLTs [was: new css/xslt struture for statements] XSLT potential innovation clange new 01/22/11
#208 Joker that matches empty lists Presentation question frabe new 01/20/09
#277 How to assure proper cross reference System Implementation (SI) question clange new 02/27/09
#340 synchronized iteteration in notation definitions. [SI] NTN question vzholudev new 03/17/09
#45 Reconsider notation/prototype/rendering XML syntax, sync with MathML state of the art Presentation task vzholudev new 08/01/08
#64 Reconsider equality in XMLMap [SI] NTN task vzholudev new 08/27/08
#75 Detect and handle changes to notation definitions [SI] NTN task dmisev assigned 08/31/08
#94 Close ntnascii branch System Implementation (SI) task vzholudev new 10/17/08
#99 Port rhetorics visualization to real RDFa JOBAD task cdavid new 10/22/08
#107 implement the double-click event handler -> selection of a certain subterm of expression JOBAD task cdavid new 10/31/08
#110 implement the symbol expand definition operation for "simple" definitions JOBAD task cdavid new 10/31/08
#112 provide a guided tour -> document with info for the currently selected term JOBAD task cdavid new 10/31/08
#114 think of a use-case scenario for the left click on a math element JOBAD task cdavid new 10/31/08
#116 Implement a function that changes the color of an element JOBAD task cdavid new 10/31/08
#118 Get an understanding of the SWiM server backend JOBAD task cdavid new 11/03/08
#163 Specification of jokers System Implementation (SI) task frabe new 11/28/08
#177 Implementation of notation tags in the renderer output Presentation task dmisev reopened 12/01/08
#178 Metadata and links for notation/prototype and notation/rendering Presentation task clange new 12/01/08
#179 Look into E4X JOBAD task cdavid new 12/02/08
#180 Consider this nice way of doing XPath in JavaScript JOBAD task cdavid new 12/02/08
#182 Final Specification of notation tags Presentation task dmisev assigned 12/03/08
#187 Consider functional programming in JavaScript JOBAD task cdavid new 12/04/08
#192 Get an understanding of SPARQL endpoints JOBAD task cdavid new 12/19/08
#194 Notation selection (of alternative renderings for a symbol) JOBAD task cdavid new 12/19/08
#249 Figure out whether the MONET broker is usable JOBAD task cdavid new 02/19/09
#286 Make sure that the current state of interactive adaptation is printable JOBAD task cdavid new 02/27/09
#292 Refactor Proof Display CSS task StefanMirea new 02/28/09
#365 Write plugin developer's manual JOBAD task clange new 04/07/09
#403 Integrate MathWebSearch JOBAD task cdavid new 06/16/09
#431 Clean up linking of XSLT directories into JOBAD server JOBAD task cdavid new 07/08/09
#435 Rendering of Table of Contents System Implementation (SI) task vzholudev new 07/15/09
#442 Create tickets from Paul Libbrecht's feedback JOBAD task clange new 07/24/09
#567 Test Cases: n-ary matrices [SI] NTN test vzholudev new 10/23/09
1 2 3 →
Note: See TracReports for help on using and creating reports.