]>
2005-07-25 | Stefano Zacchiroli | implemented transformations on top of notation code | tree | commitdiff |
2005-07-18 | Stefano Zacchiroli | merged cic_notation with disambiguation: good luck! | tree | commitdiff |
2005-07-14 | Stefano Zacchiroli | snapshot, notably: | tree | commitdiff |
2005-07-14 | Luca Padovani | * added group box (?) | tree | commitdiff |
2005-07-13 | Stefano Zacchiroli | added XmlAttrs attribute for specification of xml attri... | tree | commitdiff |
2005-07-13 | Stefano Zacchiroli | snapshot | tree | commitdiff |
2005-07-12 | Luca Padovani | snapshot | tree | commitdiff |
2005-07-08 | Stefano Zacchiroli | snapshot | tree | commitdiff |
2005-07-08 | Stefano Zacchiroli | snapshot | tree | commitdiff |
2005-06-08 | Stefano Zacchiroli | snapshot (minor changes) | tree | commitdiff |