]>
2009-03-26 | Enrico Tassi | new apply almost there | blob | commitdiff | raw |
2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | blob | commitdiff | raw | diff to current |
2007-07-19 | Claudio Sacerdoti... | map_unicode_to_tex is no longer optional and it always... | blob | commitdiff | raw | diff to current |
2007-07-06 | Enrico Tassi | maxipatch for support of multiple DBs. | blob | commitdiff | raw | diff to current |
2007-06-01 | Claudio Sacerdoti... | I do not know why, but | blob | commitdiff | raw | diff to current |
2007-05-17 | Enrico Tassi | added a (for the moment) dummy field _subst to Proofeng... | blob | commitdiff | raw | diff to current |
2007-01-26 | Claudio Sacerdoti... | "Warning/error/debug/infos" messages now sent on stderr. | blob | commitdiff | raw | diff to current |
2007-01-26 | Claudio Sacerdoti... | Some changes: | blob | commitdiff | raw | diff to current |
2007-01-20 | Claudio Sacerdoti... | Just a few lines test to understand with Cezary Kalinsk... | blob | commitdiff | raw | diff to current |