Age | Commit message (Expand) | Author |
---|---|---|
2017-04-27 | Organising source | Jed Barber |
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 nam... | Jed Barber |
2016-05-27 | Text buffers, access types and line lengths | Jed Barber |
2016-05-24 | It's a start | Jed Barber |