{6} All Tickets By Milestone (Including closed) (702 matches)

A more complex example to show how to make advanced reports.

Results (1 - 100 of 702)

1 2 3 4 5 6 7 8 →

zzz Future zzz (100 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#209 Standard context dimension vocabulary Presentation new question critical vzholudev 01/29/10
#224 Adapt test cases to the restructured grammar [SI] NTN new task critical clange 10/12/09
#225 Parse binders [SI] NTN new enhancement critical clange 10/12/09
#227 Parse exprlist [SI] NTN new enhancement critical clange 10/12/09
#368 JOBAD user evaluation JOBAD new task critical cdavid 09/19/10
#16 Document collections Content new unknown potential innovation major vzholudev 01/29/10
#36 Integration of KWARC Systems Presentation new unknown task major vzholudev 01/29/10
#40 Refactoring Notation Definitions Presentation new unknown task major dmisev 09/08/10
#41 Transformator from pragmatic to strict notations Presentation new unknown task major vzholudev 01/29/10
#45 Reconsider notation/prototype/rendering XML syntax, sync with MathML state of the art Presentation new task major vzholudev 01/29/10
#46 Renderer for notation definitions Documentation new enhancement major vzholudev 01/29/10
#47 System Description: Including Help Manual and API Documentation new unknown task major vzholudev 01/29/10
#48 Implement a translation from abstract notation syntax to XML syntax [SI] NTN new v0.1.2 task major clange 10/12/09
#50 Elision in different elision groups is not always independent Presentation new enhancement major vzholudev 01/29/10
#51 Specification: presentation of bound variables depending on the binder Presentation new enhancement major vzholudev 01/29/10
#52 Specification: declarative syntax for OMAs and OMBINDs Presentation new defect major vzholudev 01/29/10
#53 Specification: meta-theory-sensitive notation specifications Presentation new enhancement major vzholudev 01/29/10
#64 Reconsider equality in XMLMap [SI] NTN new task major vzholudev 01/29/10
#75 Detect and handle changes to notation definitions [SI] NTN assigned task major dmisev 02/11/09
#94 Close ntnascii branch System Implementation (SI) new task major vzholudev 01/29/10
#99 Port rhetorics visualization to real RDFa JOBAD new task major cdavid 11/21/09
#107 implement the double-click event handler -> selection of a certain subterm of expression JOBAD new task major cdavid 09/30/09
#110 implement the symbol expand definition operation for "simple" definitions JOBAD new task major cdavid 09/19/10
#112 provide a guided tour -> document with info for the currently selected term JOBAD new task major cdavid 09/19/10
#114 think of a use-case scenario for the left click on a math element JOBAD new task major cdavid 10/01/09
#116 Implement a function that changes the color of an element JOBAD new task major cdavid 09/30/09
#118 Get an understanding of the SWiM server backend JOBAD new task major cdavid 09/30/09
#163 Specification of jokers System Implementation (SI) new task major frabe 06/26/09
#169 n-times click should select n-th parent term JOBAD new enhancement major cdavid 09/30/09
#170 fold treats mrow, mi, mo, mn equally JOBAD new potential innovation major cdavid 09/30/09
#174 Rendering support for folding with abbreviations Presentation new enhancement major clange 08/26/09
#177 Implementation of notation tags in the renderer output Presentation reopened task major dmisev 09/01/09
#178 Metadata and links for notation/prototype and notation/rendering Presentation new task major clange 06/20/09
#179 Look into E4X JOBAD new task major cdavid 09/30/09
#180 Consider this nice way of doing XPath in JavaScript JOBAD new task major cdavid 09/30/09
#182 Final Specification of notation tags Presentation assigned task major dmisev 03/07/09
#187 Consider functional programming in JavaScript JOBAD new task major cdavid 10/01/09
#189 Change declarative notations via JOBAD JOBAD new enhancement major cdavid 10/01/09
#190 Sharing renderings among notation definitions Presentation new enhancement major vzholudev 01/29/10
#192 Get an understanding of SPARQL endpoints JOBAD new task major cdavid 09/30/09
#194 Notation selection (of alternative renderings for a symbol) JOBAD new task major cdavid 09/19/10
#205 Three-state folding of abbreviated terms JOBAD new enhancement major cdavid 09/19/10
#208 Joker that matches empty lists Presentation new question major frabe 02/17/09
#219 Applying elision and folding for proof explanation JOBAD new potential innovation major clange 01/29/10
#231 Parse text (simple) [SI] NTN new enhancement major clange 10/12/09
#232 Allow for string escapes in text [SI] NTN new enhancement major clange 10/12/09
#249 Figure out whether the MONET broker is usable JOBAD new task major cdavid 10/01/09
#253 Display only [in]formal parts of a document JOBAD new enhancement major clange 01/29/10
#269 Pass multiple (cascading) CSS into JOMDoc→XSLT XSLT new enhancement major clange 02/27/09
#272 Markup and Query of novel points unknown new potential innovation major vzholudev 01/29/10
#276 index handling in XSLT System Implementation (SI) new defect major clange 02/27/09
#277 How to assure proper cross reference System Implementation (SI) new question major clange 02/28/09
#278 Renaming of Variables for Reuse System Implementation (SI) new enhancement major frabe 02/27/09
#279 PDF output via OMDoc --XSLT--> XHTML+MathML --> PDF XSLT new enhancement major clange 03/18/09
#283 Create CSS for print output media CSS new enhancement major StefanMirea 05/23/11
#284 Submit the current state of the document's adaptation back to the server JOBAD new enhancement major cdavid 09/19/10
#286 Make sure that the current state of interactive adaptation is printable JOBAD new task major cdavid 09/19/10
#291 Preserve value of XREF attribute in Method element XSLT new defect major clange 02/28/09
#292 Refactor Proof Display CSS new task major StefanMirea 05/23/11
#293 Fix OMDoc to XHTML conversion for premise XSLT new defect major clange 02/28/09
#295 XHTML Reference from Definition to Symbol XSLT new defect major clange 02/28/09
#296 Transformation from link-href value into a-href value XSLT new defect major clange 02/28/09
#297 Transformation from xref-value to a-href value XSLT new defect major clange 02/28/09
#298 Look up the type of a symbol JOBAD new enhancement major cdavid 09/19/10
#304 jomdoc validate should validate OMR/share links System Implementation (SI) new enhancement major vzholudev 01/29/10
#305 does jomdoc validate --imports actually look for symbol elements? System Implementation (SI) new enhancement major vzholudev 01/29/10
#307 Look up targets of any kind of link JOBAD new enhancement major cdavid 09/19/10
#308 Multilanguage rendering XSLT new defect major clange 03/07/09
#316 Consider JSON as a data format for communication of medium complexity JOBAD new defect major cdavid 09/19/10
#321 Figure out where to place "global" UI elements JOBAD new defect major cdavid 09/19/10
#322 GUI module: one toolbar (with tool buttons, slider, etc.) per formula JOBAD new enhancement major cdavid 09/19/10
#323 Wikipedia article lookup JOBAD new enhancement major cdavid 09/19/10
#340 synchronized iteteration in notation definitions. [SI] NTN new question major vzholudev 01/29/10
#351 Drop iterate/@precedence [SI] NTN new defect major dmisev 06/26/09
#361 JOBAD context menu hides browser context menu JOBAD new defect major clange 10/01/09
#363 Deep inspection of folded induction proofs JOBAD new potential innovation major cdavid 10/01/09
#364 Consider privacy and trust in interaction with 3rd-party web services JOBAD new potential innovation major cdavid 10/01/09
#365 Write plugin developer's manual JOBAD new task major clange 10/01/09
#366 Case study: enrich theorem prover library web sites with JOBAD JOBAD new potential innovation major clange 10/01/09
#367 Service that logs all interaction JOBAD assigned enhancement major cdavid 05/17/10
#369 JOBAD Case study for elision JOBAD new Case Study/Application major cdavid 09/19/10
#370 Definition expansion for "pattern"-type definitions JOBAD new enhancement major cdavid 09/19/10
#371 Use the right rendering context when expanding definitions JOBAD new enhancement major cdavid 09/19/10
#372 Definition expansion for inductive/recursive definitions JOBAD new enhancement major cdavid 10/01/09
#386 Represent unit in different unit systems System Implementation (SI) new potential innovation major vzholudev 01/29/10
#403 Integrate MathWebSearch JOBAD new task major cdavid 09/19/10
#426 Label the contextMenu items with the corresponding shortcut key JOBAD assigned enhancement major cdavid 09/19/10
#428 Make shortcuts work for selection as well JOBAD new enhancement major cdavid 09/19/10
#435 Rendering of Table of Contents System Implementation (SI) new task major vzholudev 01/29/10
#440 Definition lookup should show both declaration and definition JOBAD new defect major cdavid 09/19/10
#465 Fix handling of precedences System Implementation (SI) new v0.1.3 defect major vzholudev 07/15/10
#466 beautify slides CSS new v0.1.3 defect major StefanMirea 05/23/11
#468 choose a reasonable value for div.omdoc-derive/padding-left CSS new v0.1.3 task major StefanMirea 05/23/11
#477 extend definition lookup to term element JOBAD new v0.1.3 defect major cdavid 09/19/10
#485 Lightweight interface for acquiring user feedback JOBAD new v0.1.3 enhancement major cdavid 09/19/10
#523 Enrichment of Abstract Documents [SI] Lang new v0.1.3 task major vzholudev 01/29/10
#524 Abstract Documents for JOBAD JOBAD new unknown enhancement major clange 08/30/09
#525 Abstract Documents for Querying TNTBase JOBAD new unknown enhancement major vzholudev 09/08/09
#585 Move the OMDoc→PMML XSLTs into one self-contained directory XSLT new v0.1.3 task major clange 11/21/09
#594 Advertise JOMDoc better Marketing new all task major vzholudev 02/09/10
1 2 3 4 5 6 7 8 →
Note: See TracReports for help on using and creating reports.