issues
search
Bram28
/
LEGUP
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
GNU Affero General Public License v3.0
2
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Change collapsed node icon to "Fast Forward" symbol
#24
kueblc
closed
9 years ago
1
Collapsed node should highlight all changes on hover
#23
kueblc
opened
11 years ago
0
Tree panel should use DynamicViewer instead of ZoomablePanel
#22
kueblc
closed
9 years ago
1
Remove add node button
#21
kueblc
closed
11 years ago
1
Disallow tree branching if not case rule
#20
kueblc
closed
11 years ago
1
Mouseover should be over triangle, not over the transition arrows
#19
daniel-bulger
closed
11 years ago
0
Change proof save files to xml instead of space-delimited text.
#18
daniel-bulger
closed
11 years ago
1
Move proof checking to a non-modal window.
#17
daniel-bulger
closed
11 years ago
2
Highlight node when node is selected instead of putting a box around the node.
#16
daniel-bulger
closed
11 years ago
0
Case Rule Validity checking seems to always accept.
#15
daniel-bulger
closed
10 years ago
0
New Node Creation Bugs
#14
eastlack
closed
11 years ago
1
Collapse Node Bug
#13
eastlack
closed
11 years ago
0
Proof checker accepts any full board.
#12
daniel-bulger
closed
11 years ago
0
Update "File" menu entries
#11
derek-schultz
closed
11 years ago
0
Null pointer exception upon "Open Proof"
#10
derek-schultz
closed
11 years ago
0
Wanted: clear separation between nodes and transitions
#9
derek-schultz
closed
11 years ago
0
Hinting Unintuitive
#8
daniel-bulger
closed
12 years ago
0
Tent Linking Inconsistency
#7
daniel-bulger
closed
11 years ago
1
Basic Rule Needed in Treetent
#6
daniel-bulger
closed
12 years ago
2
View tab doesn't show anything
#5
Bram28
closed
11 years ago
0
Need a directions panel
#4
Bram28
opened
12 years ago
0
Basic Rules are unclear; need more description in hover-text
#3
Bram28
closed
10 years ago
0
Undo doesn't work
#2
Bram28
closed
7 years ago
0
Rules Tab is too small when it opens
#1
Bram28
closed
10 years ago
2
Previous