Schedule
Reached and future goals with dates for completion:
| Goal | Responsible | Status | Completion Date |
| Kahina for QType (see status page) | ke, jd | In progress | ~Spring 2012 |
| Enhance the possibilities to define breakpoints via source code lines or path constraints. | jd | Planned | ~March 2012 |
| Grouping perspectives, grammars and breakpoint profiles together in projects. | jd | In progress | ~January 2012 |
| Feature workbench for TRALE: signature-enhanced editing, ad-hoc computation of MGSs and MGUs. | jd | Largely Complete | December 2011 |
| Interactive signature visualization for TRALE grammars. | jd | Complete | October 2011 |
| Alternative list-based representation for the control flow tree. | jd,ke | Complete | August 2011 |
| Perspectives for freely configuring view and control components. | jd | Complete | July 2011 |
| Kahina for SICStus Prolog (Prototype). | ke | Complete | June 2011 |
Plans of other things to happen in 2012, not final, not completely scheduled yet:
| Goal | Responsible |
| Visualization of suspended goals for delayed execution in TRALE. | jd |
| Implement visualizations for important data types of automated reasoning, e.g. Tableaux calculi. | jd |
