projects / helm.git / history
| 2004-04-14 | Ferruccio Guidi | patched | blob | commitdiff | raw |
| 2004-02-24 | Ferruccio Guidi | - patched for new CIC | blob | commitdiff | raw | diff to current |
| 2004-01-20 | Ferruccio Guidi | functor added | blob | commitdiff | raw | diff to current |
| 2003-12-09 | Ferruccio Guidi | update | blob | commitdiff | raw | diff to current |
| 2003-11-07 | Ferruccio Guidi | ported to version 1.4 | blob | commitdiff | raw | diff to current |
| 2003-07-17 | Ferruccio Guidi | - new generated query "unreferred" implemented at serve... | blob | commitdiff | raw | diff to current |
| 2003-07-02 | Ferruccio Guidi | mathql_generator: new constraint format (more type... | blob | commitdiff | raw | diff to current |
| 2003-06-20 | Ferruccio Guidi | Author specification added in head comments; | blob | commitdiff | raw | diff to current |
| 2003-06-19 | Ferruccio Guidi | MathQL 1.3 ready for use | blob | commitdiff | raw | diff to current |
| 2003-05-22 | Ferruccio Guidi | mathql query generator interface patched | blob | commitdiff | raw | diff to current |