]>
2004-02-21 | Luca Padovani | * removed debian dir from EXTRA_DIST var | blob | commitdiff | raw |
2003-04-02 | Stefano Zacchiroli | distribute also ocaml subdirs | blob | commitdiff | raw | diff to current |
2003-03-24 | Luca Padovani | * first draft of the formal specification | 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 |
2003-01-09 | Luca Padovani | Initial revision | blob | commitdiff | raw | diff to current |