Changes between Version 9 and Version 10 of UsersManualQType


Ignore:
Timestamp:
May 20, 2013, 8:16:24 PM (6 years ago)
Author:
jd
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • UsersManualQType

    v9 v10  
    1717 * [wiki:Tracing Tracing]
    1818 * [wiki:StepTree Search and Call Tree]
    19  * [wiki:BreakpointSystem Breakpoint System]
    20  * [wiki:ControlPoints Creep, Fail and Skip Points]
    21  * [wiki:WarnPoints Warn Points]
    22  * [wiki:Chart Chart Display]
     19 * [wiki:QTypeChart The Left-Corner Chart]
     20 * [wiki:ControlAgentSystem Control Agent System]
     21 * [wiki:TraceAgents Trace Agents]
     22 * [wiki:ControlPointSystem Control Points]
    2323
    2424=== Interface Components ===
    2525 * [wiki:ControlPanel Control Panel]
    26  * [wiki:TreeView Tree View]
    27  * [wiki:ListTreeView List Tree View (experimental)]
    28  * [wiki:BreakpointEditor Breakpoint Editor]
     26 * [wiki:ListTreeView Tree View]
     27 * [wiki:QTypeChartView Chart View]
     28 * [wiki:MessageConsole Message Console]
     29 * [wiki:QTypeVariableBindings Variable Bindings View]
    2930 * [wiki:SourceEditor Source Code Editor]
    30  * [wiki:MessageConsole Message Console]
     31 * [wiki:ControlAgentEditor Control Agent Editor]
    3132 * [wiki:Profiler Profiler]
    32  * [wiki:QTypeVariableBindings Variable Bindings]
    3333
    3434=== Customizing Kahina ===
     
    4545 * [wiki:SystemArchitecture System Architecture]
    4646 * [wiki:MessagingSystem Messaging System]
    47  * [wiki:TreeAutomata Control Flow Pattern Matching via Tree Automata]