projects / helm.git / history
| 2008-09-26 | Enrico Tassi | lazy proof term to increase sharing and decrease memory... | blob | commitdiff | raw |
| 2008-08-21 | Enrico Tassi | pango escape fixed | blob | commitdiff | raw | diff to current |
| 2008-08-17 | Enrico Tassi | escape < in pango attrs | blob | commitdiff | raw | diff to current |
| 2008-08-16 | Enrico Tassi | added support for font scaling to autogui | blob | commitdiff | raw | diff to current |
| 2007-11-22 | Enrico Tassi | notation in autogui | blob | commitdiff | raw | diff to current |
| 2007-05-30 | Enrico Tassi | now the window can be closed also using X | blob | commitdiff | raw | diff to current |
| 2007-05-29 | Enrico Tassi | added pruning option in autogui | blob | commitdiff | raw | diff to current |
| 2007-05-24 | Enrico Tassi | auto and autogui... some work | blob | commitdiff | raw | diff to current |
| 2007-05-17 | Enrico Tassi | auto rewritten with only one tail recursive function. | blob | commitdiff | raw | diff to current |