]>
2006-02-06 | Stefano Zacchiroli | moved mathql/ under software/ | commit | commitdiff |
2004-05-13 | Ferruccio Guidi | - some code patched | commit | commitdiff |
2004-04-14 | Ferruccio Guidi | updating all sections | commit | commitdiff |
2004-04-13 | Ferruccio Guidi | updating the introduction | commit | commitdiff |
2004-03-28 | Ferruccio Guidi | updating and structuring | commit | commitdiff |
2004-03-21 | Ferruccio Guidi | introduction updated | commit | commitdiff |
2004-03-21 | Ferruccio Guidi | The operational semantics of the core language is ready | commit | commitdiff |
2004-03-12 | Ferruccio Guidi | updating | commit | commitdiff |