Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-11-08 | Fixed a few errors turned up by latest GNAT | Jed Barber | |
2016-07-18 | Decided on widget init problem, started on rudimentary editor appearance | Jed Barber | |
2016-07-15 | Groups and Widgets should now keep track of themselves properly, also all ↵ | Jed Barber | |
named access types removed | |||
2016-05-27 | Text buffers, access types and line lengths | Jed Barber | |
2016-05-24 | It's a start | Jed Barber | |