Schedule

Reached and future goals with dates for completion:

Goal	Responsible	Status	Completion Date
General reworking of the window layouter. Better support for multiple screens.	jd	In progress	~August 2013
Integrating the TRALE feature workbench with the graphical TRALE debugger.	jd	Almost complete	~June 2013
Kahina for QType (see status page)	ke, jd	Complete	May 2013
Grouping perspectives, grammars and breakpoint profiles together in projects.	jd	Complete	September 2012
Enhance the possibilities to define breakpoints via source code lines.	jd	Complete	August 2012
A more compact editing component for control points for permanent display in the control panel.	jd	Complete	July 2012
Views and several layout algorithms for graph data.	jd	Complete	February 2012
General directed and undirected graphs as additional data types.	jd	Complete	February 2012
Feature workbench for TRALE: signature-enhanced editing, ad-hoc computation of MGSs and MGUs.	jd	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 2013, 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