]>
2003-04-02 | Luca Padovani | * mini-patch to dictionary | blob | commitdiff | raw |
2003-04-02 | Stefano Zacchiroli | moved dictionaries in a new "dict" directory | blob | commitdiff | raw |
2003-03-13 | Luca Padovani | * licenses updated | blob | commitdiff | raw | diff to current |
2003-03-13 | Luca Padovani | * added license and copyright to every source file | blob | commitdiff | raw | diff to current |
2003-03-12 | Luca Padovani | * changed handling of ' (\primes) with a few patches... | blob | commitdiff | raw | diff to current |
2003-02-13 | Luca Padovani | * added show/hide cursro methods | blob | commitdiff | raw | diff to current |
2003-02-08 | Luca Padovani | * this is a large commit | blob | commitdiff | raw | diff to current |