Custom Query (201 matches)

Filters
 
Columns

Show under each result:

Results (1 - 100 of 201)

1 2 3 →
Ticket Summary Status Owner Type Priority Milestone
#588 NullPointerException in ParallelRenderer.attid new dmisev defect blocker
#682 implement the OMDoc1.3 referencing architecture. reopened dmisev enhancement blocker Release v1.3.1
#685 URI Resolution and improvements new dmisev defect blocker Release v1.3.1
#689 precedence-based bracked elision screwed up? new dmisev defect blocker Release v1.3.1
#209 Standard context dimension vocabulary new vzholudev question critical zzz Future zzz
#224 Adapt test cases to the restructured grammar new clange task critical zzz Future zzz
#225 Parse binders new clange enhancement critical zzz Future zzz
#227 Parse exprlist new clange enhancement critical zzz Future zzz
#368 JOBAD user evaluation new cdavid task critical zzz Future zzz
#502 Reduce number of spans (particularly class="displaymath") new clange task critical
#503 attribute for in definition is NCNames new vzholudev defect critical
#633 Fix news titles new vzholudev task critical
#691 presentation with multiple variants new dmisev enhancement critical
#16 Document collections new vzholudev potential innovation major zzz Future zzz
#36 Integration of KWARC Systems new vzholudev task major zzz Future zzz
#40 Refactoring Notation Definitions new dmisev task major zzz Future zzz
#41 Transformator from pragmatic to strict notations new vzholudev task major zzz Future zzz
#45 Reconsider notation/prototype/rendering XML syntax, sync with MathML state of the art new vzholudev task major zzz Future zzz
#46 Renderer for notation definitions new vzholudev enhancement major zzz Future zzz
#47 System Description: Including Help Manual and API new vzholudev task major zzz Future zzz
#48 Implement a translation from abstract notation syntax to XML syntax new clange task major zzz Future zzz
#50 Elision in different elision groups is not always independent new vzholudev enhancement major zzz Future zzz
#51 Specification: presentation of bound variables depending on the binder new vzholudev enhancement major zzz Future zzz
#52 Specification: declarative syntax for OMAs and OMBINDs new vzholudev defect major zzz Future zzz
#53 Specification: meta-theory-sensitive notation specifications new vzholudev enhancement major zzz Future zzz
#64 Reconsider equality in XMLMap new vzholudev task major zzz Future zzz
#72 No parallel markup generated for symbols reopened dmisev defect major Release v1.3.1
#75 Detect and handle changes to notation definitions assigned dmisev task major zzz Future zzz
#94 Close ntnascii branch new vzholudev task major zzz Future zzz
#99 Port rhetorics visualization to real RDFa new cdavid task major zzz Future zzz
#107 implement the double-click event handler -> selection of a certain subterm of expression new cdavid task major zzz Future zzz
#110 implement the symbol expand definition operation for "simple" definitions new cdavid task major zzz Future zzz
#112 provide a guided tour -> document with info for the currently selected term new cdavid task major zzz Future zzz
#114 think of a use-case scenario for the left click on a math element new cdavid task major zzz Future zzz
#116 Implement a function that changes the color of an element new cdavid task major zzz Future zzz
#118 Get an understanding of the SWiM server backend new cdavid task major zzz Future zzz
#136 OMFOREIGN support in default.ntn new vzholudev enhancement major Release v1.3.1
#163 Specification of jokers new frabe task major zzz Future zzz
#169 n-times click should select n-th parent term new cdavid enhancement major zzz Future zzz
#170 fold treats mrow, mi, mo, mn equally new cdavid potential innovation major zzz Future zzz
#174 Rendering support for folding with abbreviations new clange enhancement major zzz Future zzz
#177 Implementation of notation tags in the renderer output reopened dmisev task major zzz Future zzz
#178 Metadata and links for notation/prototype and notation/rendering new clange task major zzz Future zzz
#179 Look into E4X new cdavid task major zzz Future zzz
#180 Consider this nice way of doing XPath in JavaScript new cdavid task major zzz Future zzz
#182 Final Specification of notation tags assigned dmisev task major zzz Future zzz
#187 Consider functional programming in JavaScript new cdavid task major zzz Future zzz
#189 Change declarative notations via JOBAD new cdavid enhancement major zzz Future zzz
#190 Sharing renderings among notation definitions new vzholudev enhancement major zzz Future zzz
#192 Get an understanding of SPARQL endpoints new cdavid task major zzz Future zzz
#194 Notation selection (of alternative renderings for a symbol) new cdavid task major zzz Future zzz
#200 web presentation new vzholudev enhancement major Release v1.3.1
#205 Three-state folding of abbreviated terms new cdavid enhancement major zzz Future zzz
#208 Joker that matches empty lists new frabe question major zzz Future zzz
#219 Applying elision and folding for proof explanation new clange potential innovation major zzz Future zzz
#231 Parse text (simple) new clange enhancement major zzz Future zzz
#232 Allow for string escapes in text new clange enhancement major zzz Future zzz
#249 Figure out whether the MONET broker is usable new cdavid task major zzz Future zzz
#252 OMDoc Validation assigned dmisev defect major Release v1.3.1
#253 Display only [in]formal parts of a document new clange enhancement major zzz Future zzz
#269 Pass multiple (cascading) CSS into JOMDoc→XSLT new clange enhancement major zzz Future zzz
#272 Markup and Query of novel points new vzholudev potential innovation major zzz Future zzz
#276 index handling in XSLT new clange defect major zzz Future zzz
#277 How to assure proper cross reference new clange question major zzz Future zzz
#278 Renaming of Variables for Reuse new frabe enhancement major zzz Future zzz
#279 PDF output via OMDoc --XSLT--> XHTML+MathML --> PDF new clange enhancement major zzz Future zzz
#280 Linebreaks not preserved in XML listing new clange defect major
#282 presentation for theories new StefanMirea enhancement major
#283 Create CSS for print output media new StefanMirea enhancement major zzz Future zzz
#284 Submit the current state of the document's adaptation back to the server new cdavid enhancement major zzz Future zzz
#286 Make sure that the current state of interactive adaptation is printable new cdavid task major zzz Future zzz
#289 economize on spans in generated xhtml new clange defect major
#290 empty namespaces in generated XHTML new clange defect major
#291 Preserve value of XREF attribute in Method element new clange defect major zzz Future zzz
#292 Refactor Proof Display new StefanMirea task major zzz Future zzz
#293 Fix OMDoc to XHTML conversion for premise new clange defect major zzz Future zzz
#295 XHTML Reference from Definition to Symbol new clange defect major zzz Future zzz
#296 Transformation from link-href value into a-href value new clange defect major zzz Future zzz
#297 Transformation from xref-value to a-href value new clange defect major zzz Future zzz
#298 Look up the type of a symbol new cdavid enhancement major zzz Future zzz
#304 jomdoc validate should validate OMR/share links new vzholudev enhancement major zzz Future zzz
#305 does jomdoc validate --imports actually look for symbol elements? new vzholudev enhancement major zzz Future zzz
#307 Look up targets of any kind of link new cdavid enhancement major zzz Future zzz
#308 Multilanguage rendering new clange defect major zzz Future zzz
#312 Make "put into maction and hide" a general pattern new cdavid enhancement major JOBAD Complete Code Revision
#316 Consider JSON as a data format for communication of medium complexity new cdavid defect major zzz Future zzz
#321 Figure out where to place "global" UI elements new cdavid defect major zzz Future zzz
#322 GUI module: one toolbar (with tool buttons, slider, etc.) per formula new cdavid enhancement major zzz Future zzz
#323 Wikipedia article lookup new cdavid enhancement major zzz Future zzz
#340 synchronized iteteration in notation definitions. new vzholudev question major zzz Future zzz
#351 Drop iterate/@precedence new dmisev defect major zzz Future zzz
#361 JOBAD context menu hides browser context menu new clange defect major zzz Future zzz
#363 Deep inspection of folded induction proofs new cdavid potential innovation major zzz Future zzz
#364 Consider privacy and trust in interaction with 3rd-party web services new cdavid potential innovation major zzz Future zzz
#365 Write plugin developer's manual new clange task major zzz Future zzz
#366 Case study: enrich theorem prover library web sites with JOBAD new clange potential innovation major zzz Future zzz
#367 Service that logs all interaction assigned cdavid enhancement major zzz Future zzz
#369 JOBAD Case study for elision new cdavid Case Study/Application major zzz Future zzz
#370 Definition expansion for "pattern"-type definitions new cdavid enhancement major zzz Future zzz
#371 Use the right rendering context when expanding definitions new cdavid enhancement major zzz Future zzz
1 2 3 →
Note: See TracQuery for help on using queries.