{9} Active tickets by component (201 matches)

Copied and modified from "active tickets by milestone"

Results (1 - 100 of 201)

1 2 3 →

CSS (8 matches)

Ticket Summary Milestone Version Type Owner Status Created
#466 beautify slides zzz Future zzz v0.1.3 defect StefanMirea new 08/05/09
#698 simplify numbering CSS EPCdemo v1.3.1 defect StefanMirea new 05/09/11
#700 line-end-comment spans overlap with normal text in the same line EPCdemo v1.3.1 defect StefanMirea new 05/20/11
#702 headers for omtext should be inline and bf and blue EPCdemo v1.3.1 defect StefanMirea new 05/26/11
#282 presentation for theories enhancement StefanMirea new 02/27/09
#283 Create CSS for print output media zzz Future zzz enhancement StefanMirea new 02/27/09
#292 Refactor Proof Display zzz Future zzz task StefanMirea new 02/28/09
#468 choose a reasonable value for div.omdoc-derive/padding-left zzz Future zzz v0.1.3 task StefanMirea new 08/05/09

Content (1 match)

Ticket Summary Milestone Version Type Owner Status Created
#16 Document collections zzz Future zzz unknown potential innovation vzholudev new 05/02/08

Documentation (2 matches)

Ticket Summary Milestone Version Type Owner Status Created
#46 Renderer for notation definitions zzz Future zzz enhancement vzholudev new 08/01/08
#47 System Description: Including Help Manual and API zzz Future zzz unknown task vzholudev new 08/04/08

JOBAD (75 matches)

Ticket Summary Milestone Version Type Owner Status Created
#368 JOBAD user evaluation zzz Future zzz task cdavid new 04/07/09
#369 JOBAD Case study for elision zzz Future zzz Case Study/Application cdavid new 04/10/09
#316 Consider JSON as a data format for communication of medium complexity zzz Future zzz defect cdavid new 03/09/09
#321 Figure out where to place "global" UI elements zzz Future zzz defect cdavid new 03/13/09
#361 JOBAD context menu hides browser context menu zzz Future zzz defect clange new 04/07/09
#417 Factor visibility/elision out of LATIN into an independent service JOBAD Complete Code Revision defect cdavid new 06/30/09
#440 Definition lookup should show both declaration and definition zzz Future zzz defect cdavid new 07/23/09
#477 extend definition lookup to term element zzz Future zzz v0.1.3 defect cdavid new 08/06/09
#575 Unit converter always creates OMI JOBAD Complete Code Revision v0.1.3 defect cdavid new 11/06/09
#652 Little black dot instead of context menu zzz Future zzz v0.1.3 defect cdavid new 05/18/10
#678 Restore unit conversion service implemented using the old API JOBAD Complete Code Revision v0.1.3 defect mcirlanaru new 09/19/10
#681 difference between forum and forum1 service not clear v0.1.3 defect cdavid new 09/22/10
#695 Unit conversion web service broken v1.3.1 defect mcirlanaru new 01/23/11
#169 n-times click should select n-th parent term zzz Future zzz enhancement cdavid new 11/28/08
#189 Change declarative notations via JOBAD zzz Future zzz enhancement cdavid new 12/12/08
#205 Three-state folding of abbreviated terms zzz Future zzz enhancement cdavid new 01/12/09
#253 Display only [in]formal parts of a document zzz Future zzz enhancement clange new 02/20/09
#284 Submit the current state of the document's adaptation back to the server zzz Future zzz enhancement cdavid new 02/27/09
#298 Look up the type of a symbol zzz Future zzz enhancement cdavid new 02/28/09
#307 Look up targets of any kind of link zzz Future zzz enhancement cdavid new 03/03/09
#312 Make "put into maction and hide" a general pattern JOBAD Complete Code Revision enhancement cdavid new 03/04/09
#322 GUI module: one toolbar (with tool buttons, slider, etc.) per formula zzz Future zzz enhancement cdavid new 03/13/09
#323 Wikipedia article lookup zzz Future zzz enhancement cdavid new 03/13/09
#367 Service that logs all interaction zzz Future zzz enhancement cdavid assigned 04/07/09
#370 Definition expansion for "pattern"-type definitions zzz Future zzz enhancement cdavid new 04/17/09
#371 Use the right rendering context when expanding definitions zzz Future zzz enhancement cdavid new 04/17/09
#372 Definition expansion for inductive/recursive definitions zzz Future zzz enhancement cdavid new 04/17/09
#426 Label the contextMenu items with the corresponding shortcut key zzz Future zzz enhancement cdavid assigned 07/07/09
#428 Make shortcuts work for selection as well zzz Future zzz enhancement cdavid new 07/08/09
#478 Compressed version of JS code JOBAD Complete Code Revision v0.1.3 enhancement cdavid new 08/06/09
#485 Lightweight interface for acquiring user feedback zzz Future zzz v0.1.3 enhancement cdavid new 08/08/09
#524 Abstract Documents for JOBAD zzz Future zzz unknown enhancement clange new 08/30/09
#525 Abstract Documents for Querying TNTBase zzz Future zzz unknown enhancement vzholudev new 08/30/09
#639 Linked data style definition lookup zzz Future zzz v0.1.3 enhancement cdavid new 03/25/10
#651 Filter some RDFa relations out of the context menu zzz Future zzz v0.1.3 enhancement cdavid new 05/18/10
#667 Natural language and CAS zzz Future zzz v0.1.3 enhancement cdavid new 07/29/10
#690 JOBAD 2.0 JOBAD Complete Code Revision v1.3.1 enhancement cdavid assigned 12/28/10
#692 Improve fragment highlighting v1.3.1 enhancement cdavid new 01/19/11
#704 Think about closures instead of strings for context menu entries v1.3.1 enhancement cdavid new 05/28/11
#170 fold treats mrow, mi, mo, mn equally zzz Future zzz potential innovation cdavid new 11/28/08
#219 Applying elision and folding for proof explanation zzz Future zzz potential innovation clange new 01/28/09
#363 Deep inspection of folded induction proofs zzz Future zzz potential innovation cdavid new 04/07/09
#364 Consider privacy and trust in interaction with 3rd-party web services zzz Future zzz potential innovation cdavid new 04/07/09
#366 Case study: enrich theorem prover library web sites with JOBAD zzz Future zzz potential innovation clange new 04/07/09
#582 Comments on JOBAD "alternative" annotations in XHTML v0.1.3 question frabe new 11/20/09
#703 Why does definition lookup always do proxyGet? v1.3.1 question cdavid new 05/28/11
#99 Port rhetorics visualization to real RDFa zzz Future zzz task cdavid new 10/22/08
#107 implement the double-click event handler -> selection of a certain subterm of expression zzz Future zzz task cdavid new 10/31/08
#110 implement the symbol expand definition operation for "simple" definitions zzz Future zzz task cdavid new 10/31/08
#112 provide a guided tour -> document with info for the currently selected term zzz Future zzz task cdavid new 10/31/08
#114 think of a use-case scenario for the left click on a math element zzz Future zzz task cdavid new 10/31/08
#116 Implement a function that changes the color of an element zzz Future zzz task cdavid new 10/31/08
#118 Get an understanding of the SWiM server backend zzz Future zzz task cdavid new 11/03/08
#179 Look into E4X zzz Future zzz task cdavid new 12/02/08
#180 Consider this nice way of doing XPath in JavaScript zzz Future zzz task cdavid new 12/02/08
#187 Consider functional programming in JavaScript zzz Future zzz task cdavid new 12/04/08
#192 Get an understanding of SPARQL endpoints zzz Future zzz task cdavid new 12/19/08
#194 Notation selection (of alternative renderings for a symbol) zzz Future zzz task cdavid new 12/19/08
#249 Figure out whether the MONET broker is usable zzz Future zzz task cdavid new 02/19/09
#286 Make sure that the current state of interactive adaptation is printable zzz Future zzz task cdavid new 02/27/09
#365 Write plugin developer's manual zzz Future zzz task clange new 04/07/09
#403 Integrate MathWebSearch zzz Future zzz task cdavid new 06/16/09
#431 Clean up linking of XSLT directories into JOBAD server JOBAD Complete Code Revision task cdavid new 07/08/09
#442 Create tickets from Paul Libbrecht's feedback task clange new 07/24/09
#526 Generate jsdoc documentation JOBAD Complete Code Revision v0.1.3 task cdavid assigned 08/31/09
#529 Integrate educational web services into interactive documents Guided Research 2010 v0.1.3 task clange new 09/02/09
#530 Interactively link mathematical documents to web resources Guided Research 2010 v0.1.3 task clange new 09/02/09
#537 Improve the documentation wherever appropriate JOBAD Complete Code Revision v0.1.3 task cdavid new 09/30/09
#543 Think about unit testing JOBAD Complete Code Revision v0.1.3 task cdavid new 09/30/09
#561 Let the JOBAD main JavaScript file load all required JS and CSS files automatically JOBAD Complete Code Revision v0.1.3 task cdavid assigned 10/11/09
#573 Change @title into <maction actiontype="tooltip"> JOBAD Complete Code Revision v0.1.3 task cdavid assigned 11/04/09
#653 jQuery UI and MathML v0.1.3 task cdavid new 05/23/10
#362 Turn context menu into a Firefox extension that integrates into the real menu zzz Future zzz potential innovation cdavid new 04/07/09
#261 Remove hard-coded script/CSS paths from JOBAD-postprocessing XSLT JOBAD Complete Code Revision task cdavid new 02/24/09
#429 shortcuts.js doesn't support non-US keyboards zzz Future zzz task cdavid new 07/08/09

Marketing (3 matches)

Ticket Summary Milestone Version Type Owner Status Created
#633 Fix news titles v0.1.3 task vzholudev new 02/09/10
#200 web presentation Release v1.3.1 v0.1.4 enhancement vzholudev new 01/06/09
#594 Advertise JOMDoc better zzz Future zzz all task vzholudev new 12/05/09

Presentation (11 matches)

Ticket Summary Milestone Version Type Owner Status Created
#588 NullPointerException in ParallelRenderer.attid v0.1.3 defect dmisev new 11/30/09
#691 presentation with multiple variants v1.3.1 enhancement dmisev new 12/31/10
#209 Standard context dimension vocabulary zzz Future zzz question vzholudev new 01/20/09
#52 Specification: declarative syntax for OMAs and OMBINDs zzz Future zzz defect vzholudev new 08/05/08
#72 No parallel markup generated for symbols Release v1.3.1 v0.1.3 defect dmisev reopened 08/30/08
#443 Adaptive rendering of types defect vzholudev new 07/24/09
#559 NtnUtil.mobjs's heuristic for identifying content/presentation/parallel markup is too simple v0.1.3 defect vzholudev new 10/07/09
#664 OMOBJ with PMML attribution not rendered correctly in filesystem bleeding edge defect dmisev assigned 06/17/10
#672 ASCII→NTN parser does not yet support presentation contexts v0.1.3 defect clange new 09/09/10
#50 Elision in different elision groups is not always independent zzz Future zzz enhancement vzholudev new 08/05/08
#51 Specification: presentation of bound variables depending on the binder zzz Future zzz enhancement vzholudev new 08/05/08
1 2 3 →
Note: See TracReports for help on using and creating reports.