KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–9 of 9)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#994: Comment lines & Line break
Parser
bug
major
new
2024-04-24
2024-04-24
#503: Allow conjunctions in heads
Parser
enhancement
minor
new
1
2013-08-28
2013-08-29
#105: Warning when completing types!
Parser
bug
major
new
2012-02-08
2013-08-10
#133: Assign sort to the interpretation of another sort.
Parser
enhancement
minor
new
Broes De Cat
2.1
2012-03-22
2013-01-30
#153: More warnings while parsing
Parser
proposal
major
new
2012-05-07
2013-01-30
#173: Query block should become set block
Parser
enhancement
minor
new
2012-05-23
2013-01-14
#308: Cannot use predicate with same name as type
Parser
bug
minor
new
2013-01-08
2013-01-08
#303: Warnings in IDP
Parser
enhancement
minor
new
2012-12-21
2012-12-21
#293: XOR
Parser
task
minor
new
2012-12-06
2012-12-06