| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-09-16 | Remove contribs and examples | john.j.camilleri |
| 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 c... | krasimir |
| 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 |