#28
|
Filter hidden steps from main tree view
|
core
|
new
|
|
|
enhancement
|
major
|
jd
|
Jul 7, 2011
|
#29
|
Blocked goals tree summary
|
core
|
new
|
|
|
enhancement
|
major
|
jd
|
Jul 6, 2011
|
#39
|
Keyboard shortcuts
|
core
|
assigned
|
|
|
enhancement
|
major
|
jd
|
Jul 10, 2011
|
#40
|
Chart display
|
trale-sld
|
new
|
|
|
task
|
major
|
jd
|
Dec 12, 2011
|
#41
|
KahinaTextView/KahinaTextViewPanel don't support model changes
|
core
|
new
|
|
|
defect
|
major
|
jd
|
Oct 17, 2010
|
#51
|
Saving and restoring user data
|
core
|
new
|
|
|
enhancement
|
major
|
jd
|
Dec 9, 2011
|
#54
|
build in a rudimentary online help system
|
core
|
new
|
|
|
enhancement
|
major
|
jd
|
Dec 9, 2011
|
#9
|
Explicitly visualize that different invocations of the same step belong together
|
core
|
assigned
|
|
|
enhancement
|
minor
|
jd
|
Jul 18, 2013
|
#20
|
Show solutions as complete parse trees
|
trale-sld
|
new
|
|
|
defect
|
minor
|
ke
|
Dec 12, 2011
|
#25
|
Layered tree view needs rethinking
|
core
|
new
|
|
|
defect
|
minor
|
jd
|
Dec 8, 2011
|
#30
|
Tooltips for node labels
|
core
|
new
|
|
|
enhancement
|
minor
|
jd
|
Oct 11, 2010
|
#33
|
Measure time in profiler
|
core
|
new
|
|
|
enhancement
|
minor
|
jd
|
Dec 9, 2011
|
#36
|
Less failed edges
|
trale-sld
|
new
|
|
|
enhancement
|
minor
|
jd
|
Dec 12, 2011
|
#42
|
Support multiple source files in TRALE's debugger
|
trale-sld
|
new
|
|
|
enhancement
|
minor
|
jd
|
Dec 12, 2011
|
#43
|
Warn user of hidden features
|
trale-sld
|
new
|
|
|
enhancement
|
minor
|
jd
|
Dec 12, 2011
|
#44
|
Keep zoom factor in feature structure view
|
trale-sld
|
assigned
|
|
|
enhancement
|
minor
|
jd
|
Dec 12, 2011
|
#45
|
Source code view: open files as soon as they are used
|
core
|
new
|
|
|
enhancement
|
minor
|
jd
|
Dec 9, 2011
|
#58
|
source code highlighting
|
kahina-swi
|
new
|
|
|
defect
|
minor
|
ke
|
Dec 12, 2011
|
#59
|
variable bindings on redo
|
kahina-swi
|
new
|
|
|
defect
|
minor
|
ke
|
Dec 12, 2011
|
#61
|
marking the parent node is broken
|
core
|
new
|
|
|
defect
|
minor
|
jd
|
Dec 9, 2011
|
#62
|
Handle TRALE errors and display them in Kahina
|
trale-sld
|
new
|
|
|
enhancement
|
minor
|
jd
|
Dec 12, 2011
|
#66
|
Closing GUI should lead to abortion, but (sometimes) leads to NullPointerException if done while fast-forwarding/auto-completing
|
core
|
new
|
|
|
defect
|
minor
|
jd
|
Dec 9, 2011
|
#71
|
Step counters in window title and view title are inconsistent.
|
core
|
new
|
|
|
defect
|
minor
|
jd
|
Dec 9, 2011
|
#72
|
No step counter when loading a session from a file
|
core
|
new
|
|
|
defect
|
minor
|
jd
|
Dec 9, 2011
|
#104
|
Breakpoint (skip point, ...) editors show breakpoints (skip points, ...) from previous session
|
core
|
new
|
|
|
defect
|
minor
|
jd
|
Dec 26, 2011
|
#105
|
rethink transmission of step information/step data to bridge
|
core
|
new
|
|
|
defect
|
minor
|
jd
|
Dec 27, 2011
|
#107
|
unhide substructures that contain highlights by default
|
trale-sld
|
new
|
|
|
enhancement
|
minor
|
jd
|
Dec 27, 2011
|
#108
|
preserve hide/show state of substructures as rendered by GraleJ
|
trale-sld
|
new
|
|
|
enhancement
|
minor
|
jd
|
Dec 27, 2011
|
#109
|
breakpoints match too often
|
core
|
new
|
|
|
defect
|
minor
|
jd
|
Dec 27, 2011
|
#120
|
Selecting a step with layer X in a list tree view panel with layer Y where X < Y should not change the root
|
core
|
new
|
|
|
defect
|
minor
|
jd
|
Apr 4, 2012
|
#137
|
tree-node re-entrancies are not shown
|
trale-sld
|
new
|
|
|
defect
|
minor
|
jd
|
Jul 23, 2013
|
#134
|
Hardcoded paths in predefined projects should be eliminated
|
trale-sld
|
closed
|
fixed
|
|
defect
|
major
|
jd
|
Aug 16, 2013
|
#133
|
New changes break TraleSLD
|
trale-sld
|
closed
|
invalid
|
|
defect
|
major
|
ke
|
Jul 19, 2013
|
#135
|
TRALE should not have to be started from grammar directory in order for projects to work
|
trale-sld
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Jul 19, 2013
|
#136
|
Compilation of webcourse grammar fails
|
trale-sld
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Jul 19, 2013
|
#132
|
Doc says TraleSLD requires SP4, #285 seems to work with SP3, what gives?
|
trale-sld
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Jul 18, 2013
|
#131
|
Doc says TraleSLD requires SP4, #285 seems to work with SP3, what gives?
|
core
|
closed
|
duplicate
|
|
defect
|
major
|
ke
|
May 1, 2013
|
#130
|
NullPointerException on trying to create a control agent in a new project before starting the compilation
|
kahina-qtype
|
closed
|
fixed
|
|
defect
|
minor
|
jd
|
Oct 19, 2012
|
#129
|
Loading a new project does not abort the current session
|
core
|
closed
|
fixed
|
|
defect
|
major
|
jd
|
Oct 10, 2012
|
#128
|
show source code location for top-level goals
|
kahina-qtype
|
closed
|
fixed
|
|
enhancement
|
major
|
ke
|
Oct 7, 2012
|
#126
|
KAHINA_HOME not set error message appears twice
|
kahina-qtype
|
closed
|
fixed
|
|
defect
|
minor
|
ke
|
Oct 5, 2012
|
#127
|
Handling of invalid QType commands broken when tracer active
|
kahina-qtype
|
closed
|
worksforme
|
|
defect
|
major
|
ke
|
Oct 5, 2012
|
#121
|
Show result of parse in GUI
|
kahina-qtype
|
closed
|
fixed
|
|
enhancement
|
major
|
ke
|
Jul 2, 2012
|
#118
|
"parse" and "parse example" grammar menu entries should be greyed out between call and exit of compile_grammar/1
|
kahina-qtype
|
closed
|
fixed
|
|
defect
|
minor
|
ke
|
Jun 26, 2012
|
#116
|
Factor "breakpoint profile" out
|
kahina-qtype
|
closed
|
fixed
|
|
enhancement
|
minor
|
ke
|
Jun 25, 2012
|
#117
|
Abortion from GUI does not work properly in all cases
|
kahina-qtype
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Jun 12, 2012
|
#112
|
Make "more solutions" prompt controllable from GUI
|
kahina-qtype
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Jun 12, 2012
|
#124
|
halt command in QType broken?
|
kahina-qtype
|
closed
|
worksforme
|
|
defect
|
major
|
ke
|
Jun 9, 2012
|
#125
|
Step counter updates are too frequent
|
core
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Jun 8, 2012
|
#123
|
"Register example" events never seem to hit the KahinaCommander that should process them
|
kahina-qtype
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Jun 8, 2012
|
#114
|
Relevant and less relevant QType steps
|
kahina-qtype
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Jun 8, 2012
|
#122
|
restart, recompile und ein zweiter Parse funktionieren nicht
|
kahina-qtype
|
closed
|
invalid
|
|
defect
|
major
|
ke
|
Jun 8, 2012
|
#119
|
Children of compile_grammar/1 steps have no line information associated with them
|
kahina-qtype
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
May 6, 2012
|
#115
|
"parse example" should be greyed out when GUI control is inactive
|
kahina-qtype
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Mar 4, 2012
|
#113
|
Parse examples from "Parse example" submenu
|
kahina-qtype
|
closed
|
fixed
|
|
defect
|
minor
|
ke
|
Jan 15, 2012
|
#111
|
FS: handle non-empty Prolog lists specially
|
kahina-qtype
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Jan 15, 2012
|
#110
|
GUI control: system hangs after confirming at "more solutions" prompt after parse
|
kahina-qtype
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Jan 2, 2012
|
#106
|
auto-complete of cons steps does not work
|
trale-sld
|
closed
|
invalid
|
|
defect
|
minor
|
|
Dec 27, 2011
|
#65
|
TRALE feature structures: trouble with constraint applications
|
trale-sld
|
closed
|
worksforme
|
|
defect
|
minor
|
somebody
|
Dec 27, 2011
|
#18
|
More efficient foreign method calls
|
core
|
closed
|
wontfix
|
|
enhancement
|
minor
|
ke
|
Dec 9, 2011
|
#5
|
Orientation of the "straight line of success"
|
core
|
closed
|
wontfix
|
|
enhancement
|
minor
|
somebody
|
Dec 9, 2011
|
#55
|
Update/redraw views when there are no steps
|
core
|
closed
|
wontfix
|
|
defect
|
minor
|
somebody
|
Dec 9, 2011
|
#50
|
KahinaMainWindow is not general enough
|
core
|
closed
|
fixed
|
|
defect
|
minor
|
somebody
|
Dec 9, 2011
|
#35
|
Failed edges and fail cascades
|
core
|
closed
|
wontfix
|
|
defect
|
minor
|
ke
|
Dec 9, 2011
|
#31
|
Debugging more than parsing processes in trale-sld
|
core
|
closed
|
wontfix
|
|
defect
|
minor
|
ke
|
Dec 9, 2011
|
#8
|
application-specific enrichments of "paging" boxes
|
core
|
closed
|
wontfix
|
|
enhancement
|
major
|
somebody
|
Dec 9, 2011
|
#7
|
Search tree layout: "paging" if there are many children
|
core
|
closed
|
wontfix
|
|
enhancement
|
major
|
somebody
|
Dec 9, 2011
|
#6
|
Search tree layout: auto-folding the descendants of siblings to save space
|
core
|
closed
|
wontfix
|
|
enhancement
|
major
|
somebody
|
Dec 9, 2011
|
#69
|
List tree view: choice between primary siblings should default to last (= most recent) sibling
|
core
|
closed
|
fixed
|
|
defect
|
major
|
somebody
|
Dec 9, 2011
|
#103
|
kahinasicstus and kahinaqtype don't handle cyclic terms
|
core
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Dec 8, 2011
|
#102
|
"Error in Jasper meta call" while applying lexical rules during grammar compilation
|
core
|
closed
|
fixed
|
|
defect
|
major
|
ke
|
Oct 17, 2011
|
#75
|
kahinaqtype: module kahinasicstus sometimes loaded even if trace/notrace commands are never issued
|
core
|
closed
|
fixed
|
|
defect
|
minor
|
ke
|
Oct 15, 2011
|
#101
|
Test
|
core
|
closed
|
invalid
|
|
defect
|
major
|
somebody
|
Oct 15, 2011
|
#74
|
Some Things You Need To Know About H-1B Visas
|
core
|
closed
|
invalid
|
|
defect
|
major
|
somebody
|
Sep 28, 2011
|
#73
|
Some Things You Need To Know About They would-1B Visas
|
core
|
closed
|
invalid
|
|
defect
|
major
|
somebody
|
Sep 19, 2011
|
#68
|
Occasional GUI freeze and eventual heap overflow after leaping through a full cp/1 run with QType
|
core
|
closed
|
fixed
|
|
defect
|
major
|
somebody
|
Aug 3, 2011
|
#56
|
exception thrown when creating new breakpoint (no serious consequences)
|
core
|
closed
|
fixed
|
|
defect
|
major
|
jd
|
Jul 7, 2011
|
#15
|
make DatabaseManager and friends persistable
|
core
|
closed
|
fixed
|
|
enhancement
|
major
|
ke
|
Jul 7, 2011
|
#11
|
Change child sets in memory tree to child lists
|
core
|
closed
|
invalid
|
|
defect
|
major
|
ke
|
Jul 7, 2011
|
#52
|
Creep points can't be deactivated or removed
|
core
|
closed
|
invalid
|
|
defect
|
minor
|
jd
|
Jul 7, 2011
|
#2
|
Kahina should contain even more spam.
|
core
|
closed
|
fixed
|
|
defect
|
major
|
somebody
|
Jul 6, 2011
|
#53
|
improving About dialogue layout
|
core
|
closed
|
fixed
|
|
enhancement
|
minor
|
somebody
|
Jul 6, 2011
|
#47
|
After the GUI is closed, it is immediately shown again
|
core
|
closed
|
fixed
|
|
defect
|
minor
|
ke
|
Jul 6, 2011
|
#17
|
View component showing all blocked goals
|
core
|
closed
|
duplicate
|
|
enhancement
|
major
|
somebody
|
Jul 6, 2011
|
#38
|
Replace source code view with JEdit window
|
core
|
closed
|
fixed
|
|
enhancement
|
major
|
ke
|
Jul 6, 2011
|
#24
|
Tree patterns are saved incomplete
|
core
|
closed
|
fixed
|
|
defect
|
major
|
jd
|
Jul 6, 2011
|
#27
|
Selected secondary edges should be thicker
|
core
|
closed
|
fixed
|
|
defect
|
minor
|
jd
|
Jul 6, 2011
|
#26
|
Show cornerstone nodes in context
|
core
|
closed
|
invalid
|
|
defect
|
major
|
somebody
|
Jul 6, 2011
|
#13
|
notify bridge of blocking/unblocking via Japser interface
|
core
|
closed
|
fixed
|
|
enhancement
|
major
|
ke
|
Jul 6, 2011
|
#34
|
Warn points
|
core
|
closed
|
fixed
|
|
enhancement
|
major
|
ke
|
Jul 6, 2011
|
#19
|
Number of daughters of a rule
|
core
|
closed
|
fixed
|
|
defect
|
minor
|
ke
|
Jul 6, 2011
|
#49
|
Compile/parse/recompile from GUI
|
core
|
closed
|
fixed
|
|
enhancement
|
major
|
ke
|
Jul 6, 2011
|
#14
|
change Jasper interface to match Kahina API
|
core
|
closed
|
fixed
|
|
enhancement
|
major
|
ke
|
Jul 6, 2011
|
#4
|
Search tree layout: "straight line of success"
|
core
|
closed
|
fixed
|
|
enhancement
|
major
|
jd
|
Jul 6, 2011
|
#22
|
Scrolling problems
|
core
|
closed
|
fixed
|
|
defect
|
major
|
jd
|
Jul 6, 2011
|
#57
|
Vertically align redo steps with their original steps, maybe connect them with a horizontal line
|
core
|
closed
|
fixed
|
|
enhancement
|
minor
|
somebody
|
Jul 6, 2011
|
#46
|
jEdit log clutters up System.err
|
core
|
closed
|
fixed
|
|
defect
|
minor
|
somebody
|
Jul 6, 2011
|
#60
|
Green Smoke Reviews
|
core
|
closed
|
invalid
|
|
defect
|
major
|
somebody
|
Jul 3, 2011
|
#48
|
Profiler tables need sum row
|
core
|
closed
|
fixed
|
|
enhancement
|
major
|
ke
|
Nov 3, 2010
|
#37
|
Breakpoint export/import
|
core
|
closed
|
worksforme
|
|
defect
|
major
|
jd
|
Nov 2, 2010
|