]>
2004-02-13 | Ferruccio Guidi | patched | blob | commitdiff | raw |
2003-12-17 | Ferruccio Guidi | patched | blob | commitdiff | raw | diff to current |
2003-10-29 | Ferruccio Guidi | some interfaces changed to prepare the mathql code... | blob | commitdiff | raw | diff to current |
2003-09-04 | Ferruccio Guidi | CGLocateInductive patched | blob | commitdiff | raw | diff to current |
2003-09-04 | Ferruccio Guidi | added the support for the "Locate Inductive Principles... | 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 |