KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–8 of 8)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#297: Veralgemeende - binaire quantificatie
Parser
enhancement
major
resolved
Ingmar Dasseville
2012-12-13
2013-10-31
#503: Allow conjunctions in heads
Parser
enhancement
minor
new
1
2013-08-28
2013-08-29
#133: Assign sort to the interpretation of another sort.
Parser
enhancement
minor
new
Broes De Cat
2.1
2012-03-22
2013-01-30
#124: Syntax of enumsetexpression
Parser
enhancement
major
invalid
2012-03-19
2013-01-30
#14: standard library files
Parser
enhancement
critical
resolved
Broes De Cat
2.0
2011-12-08
2013-01-30
#56: Readline replacemet
Parser
enhancement
major
resolved
Broes De Cat
2.0
2011-12-13
2013-01-30
#173: Query block should become set block
Parser
enhancement
minor
new
2012-05-23
2013-01-14
#303: Warnings in IDP
Parser
enhancement
minor
new
2012-12-21
2012-12-21