Age | Commit message (Expand) | Author |
---|---|---|
2016-02-05 | add todo | Csaba Hruska |
2016-02-05 | add todo | Csaba Hruska |
2016-02-04 | update todo | Csaba Hruska |
2016-02-04 | update todo | Csaba Hruska |
2016-02-04 | add todo | Csaba Hruska |
2016-02-04 | always include builtins path | Csaba Hruska |
2016-02-04 | update todo | Csaba Hruska |
2016-02-04 | update TODOs | Péter Diviánszky |
2016-02-04 | definitions are allowed in any order (not just bottom-up) | Péter Diviánszky |
2016-02-03 | more uniform handling of literals | Péter Diviánszky |
2016-02-03 | new idea in todo | Csaba Hruska |
2016-02-03 | more precise one line comment | Péter Diviánszky |
2016-02-02 | reorder TODO items | Péter Diviánszky |
2016-02-02 | adjust todo | Csaba Hruska |
2016-02-02 | adjust todo | Csaba Hruska |
2016-02-01 | update TODOs | Péter Diviánszky |
2016-01-29 | schedule some tasks | Csaba Hruska |
2016-01-28 | add todo | Csaba Hruska |
2016-01-27 | add TODO item | Péter Diviánszky |
2016-01-26 | add TODO items | Péter Diviánszky |
2016-01-25 | update TODOs | Péter Diviánszky |
2016-01-23 | update TODO | Csaba Hruska |
2016-01-23 | major refactoring | Péter Diviánszky |
2016-01-22 | update TODOs | Péter Diviánszky |
2016-01-22 | tried to speed up with cached max. de bruijn indices (no speedup at the moment) | Péter Diviánszky |
2016-01-21 | add todo | Csaba Hruska |
2016-01-20 | add todo | Csaba Hruska |
2016-01-20 | support type synonyms | Péter Diviánszky |
2016-01-20 | support simple import lists (hiding + explicit) | Péter Diviánszky |
2016-01-20 | update todo | Csaba Hruska |
2016-01-20 | add TODO items | Péter Diviánszky |
2016-01-19 | update TODOs | Péter Diviánszky |
2016-01-19 | dates | Péter Diviánszky |
2016-01-19 | cleanup TODOs | Péter Diviánszky |
2016-01-19 | update TODOs | Péter Diviánszky |
2016-01-16 | homepage actions | Csaba Hruska |
2016-01-15 | add blog related info | Csaba Hruska |
2016-01-15 | add TODO items | Péter Diviánszky |
2016-01-15 | modify hw example & add TODO item | Péter Diviánszky |
2016-01-14 | extend todo list | Csaba Hruska |
2016-01-13 | better priorities | Péter Diviánszky |
2016-01-11 | add TODO items | Péter Diviánszky |
2016-01-11 | update TODOs | Péter Diviánszky |
2016-01-11 | renumber versions, postopne 1.0 | Csaba Hruska |
2016-01-11 | new todo item | Csaba Hruska |
2016-01-07 | update TODOs | Péter Diviánszky |
2016-01-06 | timeout for tests | Andor Penzes |
2016-01-04 | update todo | Csaba Hruska |
2016-01-04 | update TODO file | Andor Penzes |
2016-01-04 | update todo | Csaba Hruska |