]>
2008-08-21 | Enrico Tassi | pango escape fixed | blob | commitdiff | raw |
2008-07-23 | Enrico Tassi | fixed some GUI glitches | blob | commitdiff | raw | diff to current |
2008-07-23 | Enrico Tassi | better UI for TeX/Unicode and terms grammar | blob | commitdiff | raw | diff to current |
2007-10-12 | Claudio Sacerdoti... | Move to OCaml 3.10. Requires debian packages from unsta... | blob | commitdiff | raw | diff to current |
2006-10-18 | Claudio Sacerdoti... | Dead dialog window removed. | blob | commitdiff | raw | diff to current |
2006-04-13 | Enrico Tassi | to tired to write a message. | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |