| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-08-23 | fix SUMO after the update in DictEng | kr.angelov | |
| 2010-11-12 | operations in the abstract syntax | krasimir | |
| 2010-10-13 | generalize the nqueens function in NQueens.gf | krasimir | |
| 2010-10-13 | add start category S in NQueens. This helps the EditorApp to find the start ↵ | krasimir | |
| category | |||
| 2010-10-13 | use "-" and ";" instead of "_" and "\n" in NQueens | krasimir | |
| 2010-10-11 | update NQueens to use: 1) lists i.e. [Nat]; 2) implicit arguments | krasimir | |
| 2010-03-24 | even simpler version of NQueens | krasimir | |
| 2010-03-24 | the Plus predicate from NQueens is replaced with definition for function plus | krasimir | |
| 2010-03-21 | the NQueens algorithm written in GF | krasimir | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |