projects / helm.git / history
| 2004-02-24 | Ferruccio Guidi | patched | tree | commitdiff |
| 2004-02-18 | Ferruccio Guidi | native support for reference shells added to mqgtop | tree | commitdiff |
| 2004-01-20 | Ferruccio Guidi | functor added | tree | commitdiff |
| 2003-11-07 | Ferruccio Guidi | porting mqgtop to version 1.4 | tree | commitdiff |
| 2003-10-10 | Ferruccio Guidi | patched | tree | commitdiff |
| 2003-09-04 | Ferruccio Guidi | CGLocateInductive patched | tree | commitdiff |
| 2003-09-04 | Ferruccio Guidi | added the support for the "Locate Inductive Principles... | tree | commitdiff |
| 2003-07-17 | Ferruccio Guidi | - new generated query "unreferred" implemented at serve... | tree | commitdiff |
| 2003-07-02 | Ferruccio Guidi | mathql_generator: new constraint format (more type... | tree | commitdiff |