| 16 years ago | Miguel Vilaca | New File Format | commit | commitdiff |
| 16 years ago | Miguel Vilaca | Functional BNL programs to IN Iterators | commit | commitdiff |
| 16 years ago | Miguel Vilaca | Bug Fixes | commit | commitdiff |
| 16 years ago | Miguel Vilaca | Richer Symbol Generation | commit | commitdiff |
| 16 years ago | Miguel Vilaca | Move to HaXml 1.19 | commit | commitdiff |
| 16 years ago | Miguel Vilaca | Symbol Deletion | commit | commitdiff |
| 16 years ago | Miguel Vilaca | Split big file | commit | commitdiff |