| Commit message (Expand) | Author | Age | Files | |
|---|---|---|---|---|
| * | this. | Mirek Kratochvil | 2022-10-24 | 1 |
| * | well | Mirek Kratochvil | 2022-10-23 | 1 |
| * | some small stuff | Mirek Kratochvil | 2022-10-16 | 1 |
| * | cuts | Mirek Kratochvil | 2022-10-15 | 1 |
| * | backtracking | Mirek Kratochvil | 2022-10-14 | 1 |
| * | p r l g | Mirek Kratochvil | 2022-10-14 | 1 |
 |
index : exa/prlg | |
| prague prolog |
| summaryrefslogtreecommitdiff |